Email Gateway (May 23 2023 at 11:12): Email Gateway (May 23 2023 at 11:12):From: Lukas Stevens <lukas.stevens+isabelle-users@in.tum.de>
Dear list,
I have noticed that the proof document and outline are almost empty in my AFP entry [1].
More specifically, the contents of the root.tex are shown correctly but all the .tex files for the theories are empty.
This is even though I disabled the document output only for some of those.
The browser_info, on the other hand, correctly displays those theory files.
What do I need to change such that the .tex files for the theories are not empty?
Cheers,
Lukas
[1]https://www.isa-afp.org/entries/MLSS_Decision_Proc.html
Last updated: Jan 04 2025 at 20:18 UTC