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_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
