[isabelle-dev] Problems Generating HOL-Analysis Manual

rashid at in.tum.de rashid at in.tum.de
Thu May 16 13:35:30 CEST 2019

Hi all,


I am trying to generate the manual for HOL-Analysis by using the following


Isabelle build -b -v -o document=pdf HOL-Analysis


Actually it should end up with generating a pdf at:




However, it ends up with the following message and does not create any pdf. 


ML_OPTIONS="--minheap 500"

Session Pure/Pure
Session HOL/HOL (main)
Session HOL/HOL-Library (main timing)
Session HOL/HOL-Computational_Algebra (main timing)
Session HOL/HOL-Analysis (main timing)

Finished at Thu May 16 13:27:18 GMT+2 2019
0:00:03 elapsed time


I am using MacBook Pro (macOS Mojave Version 10.14.4) and I checked it on
Isabelle 2018 and Isabelle 2019-RC2.


Any idea how to get rid of this problem?





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20190516/a4caa3ef/attachment.html>

More information about the isabelle-dev mailing list