On 16/05/2019 13:35, [email protected] wrote:
>
> I am trying to generate the manual for HOL-Analysis by using the
> following command:
>
> Isabelle build -b -v -o document=pdf HOL-Analysis
>
> Finished at Thu May 16 13:27:18 GMT+2 2019
> 0:00:03 elapsed time
Maybe you have HOL-Analysis finished already. You can use "isabelle
build" option -c to clean it before building it again with changed options.
BTW, the Isabelle website explains the purpose of the isabelle-dev
mailing list as follows:
"... covers the Isabelle development process, including intermediate
repository versions, and administrative issues concerning the website or
testing infrastructure".
An indication of being on-topic for this list is to refer to particular
points in the isabelle-dev repository, where you are presently
experimenting.
Almost anything else is for the isabelle-users mailing list:
"[it] provides a forum for Isabelle users to discuss problems,
exchange information, and make announcements."
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
