[isabelle-dev] push request (Sublist.thy)
makarius at sketis.net
Mon Dec 17 20:03:38 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.
Rewind to the start of the thread ...
According to http://mercurial.selenic.com/wiki/WhatsNew 2.2 introduces
"parsers: incrementally parse the revlog index in C", see also
looks like the place where these guys started it.
Later there are several amendments, just search "parsers" or "refcount" in
the WhatsNew. In 2.2.2 there is even "parsers: fix refcount bug on
corrupt index", which is probably this changeset
So this C module might or might not be an explanation for the
The machines at TUM have mostly Mercurial 2.1.1 or 2.4 now, notably
macbroy2[0-9]. 2.1.1 is before the critical parsers.c, and 2.4 after
several fixes of it, but it is a "feature release". After release x.y
there is usually a x.y.1 and x.y.2 to consolidate.
Ubuntu 12.10 is close to the critical point, but I see already 2.2.2-1 at
so an update of Ubuntu might help.
My Ubuntu 12.04.1 LTS has the consolidated 2.0.2 before the fatal C
My current MacPorts snapshot has the consolidated 1.9.2 even before that.
I am not sure if we are already at the point to conclude anything. Somehow
implicit sliding updates to "latest" versions could be too risky. The
curse of being always up-to-date.
Is this the point to go back to hand-compiled Mercurial of some x.y.2
version? It was actually quite easy when we started with Mercurial 1.x,
before it became generally available on the usual OS distributions.
More information about the isabelle-dev