# HG changeset patch # User wenzelm # Date 1667588241 -3600 # Node ID d7a3a0a793e28c3137de3fa39c0c97c7e82e2e51 # Parent d6d4d069770910cbea6709a2d2902ad9ffcaf8f5 proper chapter (amending 809cd1195795); diff -r d6d4d0697709 -r d7a3a0a793e2 src/Doc/Demo_Easychair/ROOT --- a/src/Doc/Demo_Easychair/ROOT Fri Nov 04 18:59:54 2022 +0100 +++ b/src/Doc/Demo_Easychair/ROOT Fri Nov 04 19:57:21 2022 +0100 @@ -1,3 +1,5 @@ +chapter Doc + session Demo_Easychair (doc) = HOL + options [document_variants = "demo_easychair"] theories diff -r d6d4d0697709 -r d7a3a0a793e2 src/Doc/Demo_FoilTeX/ROOT --- a/src/Doc/Demo_FoilTeX/ROOT Fri Nov 04 18:59:54 2022 +0100 +++ b/src/Doc/Demo_FoilTeX/ROOT Fri Nov 04 19:57:21 2022 +0100 @@ -1,3 +1,5 @@ +chapter Doc + session Demo_FoilTeX (doc) = HOL + options [document_variants = "demo_foiltex", document_build = "pdflatex", document_logo = "FoilTeX"] diff -r d6d4d0697709 -r d7a3a0a793e2 src/Doc/Demo_LIPIcs/ROOT --- a/src/Doc/Demo_LIPIcs/ROOT Fri Nov 04 18:59:54 2022 +0100 +++ b/src/Doc/Demo_LIPIcs/ROOT Fri Nov 04 19:57:21 2022 +0100 @@ -1,3 +1,5 @@ +chapter Doc + session Demo_LIPIcs (doc) = HOL + options [document_variants = "demo_lipics", document_build = "pdflatex", document_heading_prefix = "", document_comment_latex]