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.


Attachment: signature.asc
Description: OpenPGP digital signature

isabelle-dev mailing list

Reply via email to