I tried to produce the session of my theory and generate the pdf version. But after I ran:
isabelle build -o document=pdf -P output -D .
The HTML is perfect but the generated pdf is nothing but title. Is there anyone who get some idea for that?
the ROOT file has a flag for whether a particular theory should be included in the pdf
I believe the example generated by mkroot includes that
For me, all theories are included.
Last updated: Sep 22 2023 at 08:19 UTC