# 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