On 16/05/2019 13:35, ras...@in.tum.de 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 isabelle-...@in.tum.de https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev