On 03/11/17 18:43, Fabio Madge Pimentel wrote: > 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
What is the purpose of option -x HOL here? BTW, the normal place to discuss observations about Isabelle is the isabelle-users mailing list. Makarius
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev