zibo yang (Jul 05 2021 at 23:08): zibo yang (Jul 05 2021 at 23:08):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?
Jakub Kądziołka (Jul 05 2021 at 23:12):the ROOT file has a flag for whether a particular theory should be included in the pdf
Jakub Kądziołka (Jul 05 2021 at 23:13):I believe the example generated by mkroot includes that
Wolfgang Jeltsch (Jul 06 2021 at 00:39):For me, all theories are included.
Last updated: Apr 20 2024 at 01:05 UTC