[isabelle-dev] compilation of IsarRef is broken
makarius at sketis.net
Tue Nov 29 11:25:10 CET 2011
On Tue, 29 Nov 2011, Ondřej Kunčar wrote:
> It seems that the compilation of IsarRef is broken. I've got the following
> error with the 45669:06e259492f6b changeset:
> ~/tmp/isabelle-dev/doc-src/IsarRef> ../../bin/isabelle make
> Running HOL-IsarRef ...
> HOL-IsarRef FAILED
It should work after rebuilding your logic images.
BTW, the integer index for Mercurial changesets (45669 above) are just a
physical address on your private clone. It does not make any sense
outside that accidental context, unlike SVN version numbers, for example.
More information about the isabelle-dev