[isabelle-dev] push request (Sublist.thy)

Lars Noschinski noschinl at in.tum.de
Mon Dec 17 15:43:45 CET 2012

On 13.12.2012 15:14, Dmitriy Traytel wrote:
> Some more data points: I use Mercurial 2.2 and after pushing
> ed6b40d15d1c the attached error log was generated. hg verify on the
> server says that c4a27ab89c9b is the first damaged changeset. The
> corrupted repository is still on the server
> (/home/isabelle-repository/repos/isabelle.13.12.2012.backup).

I assume you can not easily reproduce this error?

   -- Lars

More information about the isabelle-dev mailing list