# HG changeset patch
# User wenzelm
# Date 1667506160 -3600
# Node ID 809cd119579541aef561fe17da872b6f93a12d6d
# Parent  f20865ad6319835e4b8ad4c780a5539cbdc19a76
clarified directory layout: templates for user sessions;

diff -r f20865ad6319 -r 809cd1195795 src/Doc/Demo_Easychair/ROOT
--- /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"
diff -r f20865ad6319 -r 809cd1195795 src/Doc/Demo_FoilTeX/ROOT
--- /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"
diff -r f20865ad6319 -r 809cd1195795 src/Doc/Demo_LIPIcs/ROOT
--- /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"
diff -r f20865ad6319 -r 809cd1195795 src/Doc/ROOT
--- 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"
diff -r f20865ad6319 -r 809cd1195795 src/Doc/ROOTS
--- /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