[isabelle-dev] push request (Sublist.thy)
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?
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