I couldn't update ~isatest/hg-isabelle manually, because some files in ~isatest/hg-isabelle/.hg/store belong to user krauss and isatest doesn't seem to have enough permissions. Alex, could you please fix these?
Oops... Restored permissions and updated. Alex _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
