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

[Lars Noschinski]

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