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
>
For clarity
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 pur
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
signature.asc
Description: Message signed with OpenPGP
___