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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
