--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Doc/Demo_Easychair/ROOT Thu Nov 03 21:09:20 2022 +0100
@@ -0,0 +1,9 @@
+session Demo_Easychair (doc) = HOL +
+ options [document_variants = "demo_easychair"]
+ theories
+ Document
+ document_files (in "$ISABELLE_EASYCHAIR_HOME")
+ "easychair.cls"
+ document_files
+ "root.bib"
+ "root.tex"
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Doc/Demo_FoilTeX/ROOT Thu Nov 03 21:09:20 2022 +0100
@@ -0,0 +1,11 @@
+session Demo_FoilTeX (doc) = 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"
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Doc/Demo_LIPIcs/ROOT Thu Nov 03 21:09:20 2022 +0100
@@ -0,0 +1,12 @@
+session Demo_LIPIcs (doc) = HOL +
+ options [document_variants = "demo_lipics",
+ document_build = "pdflatex", document_heading_prefix = "", document_comment_latex]
+ theories
+ Document
+ document_files (in "$ISABELLE_LIPICS_HOME")
+ "cc-by.pdf"
+ "lipics-logo-bw.pdf"
+ "lipics-v2021.cls"
+ document_files
+ "root.bib"
+ "root.tex"
--- a/src/Doc/ROOT Thu Nov 03 20:58:10 2022 +0100
+++ b/src/Doc/ROOT Thu Nov 03 21:09:20 2022 +0100
@@ -488,38 +488,3 @@
document_files
"root.tex"
"style.sty"
-
-session Demo_Easychair (doc) in "Demo_Easychair" = HOL +
- options [document_variants = "demo_easychair"]
- theories
- Document
- document_files (in "$ISABELLE_EASYCHAIR_HOME")
- "easychair.cls"
- document_files
- "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]
- theories
- Document
- document_files (in "$ISABELLE_LIPICS_HOME")
- "cc-by.pdf"
- "lipics-logo-bw.pdf"
- "lipics-v2021.cls"
- document_files
- "root.bib"
- "root.tex"
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Doc/ROOTS Thu Nov 03 21:09:20 2022 +0100
@@ -0,0 +1,3 @@
+Demo_Easychair
+Demo_FoilTeX
+Demo_LIPIcs