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

Makarius makarius at sketis.net
Mon Dec 17 15:23:44 CET 2012

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?


More information about the isabelle-dev mailing list