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

Dmitriy Traytel traytel at in.tum.de
Mon Dec 17 15:34:44 CET 2012

On 17.12.2012 15:23, Makarius wrote:
> 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
Ubuntu 12.10 (Linux kernel 3.5.0-20-generic, 64 bit). No bookmarks, but 
I do have a local patch queue. Also note that the changeset I was 
pushing (attached in previous mail on this thread), was imported via hg 
import (after adding the user name manually).


More information about the isabelle-dev mailing list