--- a/src/Doc/ROOT Mon Oct 31 17:59:33 2022 +0100
+++ b/src/Doc/ROOT Mon Oct 31 21:44:34 2022 +0100
@@ -499,6 +499,18 @@
"root.bib"
"root.tex"
+session Demo_FoilTeX (doc) in "Demo_FoilTeX" = HOL +
+ options [document_variants = "demo_foiltex",
+ document_build = "pdflatex", document_logo = "FoilTeX"]
+ theories
+ Document
+ document_files (in "$ISABELLE_FOILTEX_HOME")
+ "fltfonts.def"
+ "foil20.clo"
+ "foils.cls"
+ document_files
+ "root.tex"
+
session Demo_LIPIcs (doc) in "Demo_LIPIcs" = HOL +
options [document_variants = "demo_lipics",
document_build = "pdflatex", document_heading_prefix = "", document_comment_latex]