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

Fabio

Attachment: signature.asc
Description: Message signed with OpenPGP

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to