[isabelle-dev] build -x not working anymore

Fabio Madge Pimentel fabio at madge.me
Fri Nov 3 18:43:00 CET 2017

Building all of Isabelle including the AFP doesn’t work anymore. This can be reproduced with the latest development versions, as well as the tagged Isabelle2017 versions.

	./isabelle build -ad ~/afp-devel/thys/ -x HOL

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 874 bytes
Desc: Message signed with OpenPGP
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20171103/a91f0476/attachment-0001.asc>

More information about the isabelle-dev mailing list