Stream: Beginner Questions

Topic: good HTML but empty pdf


view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip Jakub Kądziołka (Jul 05 2021 at 23:13):

I believe the example generated by mkroot includes that

view this post on Zulip Wolfgang Jeltsch (Jul 06 2021 at 00:39):

For me, all theories are included.


Last updated: Sep 25 2022 at 23:25 UTC