[isabelle-dev] compilation of IsarRef is broken

Makarius 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 ...

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 mailing list