On Thu, 13 Dec 2012, Dmitriy Traytel wrote:
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).
We need to find more physical side-conditions for this kind of reactor
meltdown. What is your operating system platform? Are you using
bookmarks and/or patch queues locally?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
