[isabelle-dev] compilation of IsarRef is broken

[Makarius]

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.


 	Makarius