[isabelle-dev] performance regression for simp_all

Alexander Krauss krauss at in.tum.de
Sat Aug 13 13:50:44 CEST 2011


> 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



More information about the isabelle-dev mailing list