# HG changeset patch
# User wenzelm
# Date 1667661899 -3600
# Node ID 8dbda1b611e9fca981d998957a7cf859a4321ee6
# Parent  74c3ecfeb3eac443808f9fa2b409347b0d7c04f8
tuned comments;

diff -r 74c3ecfeb3ea -r 8dbda1b611e9 src/Doc/Demo_Easychair/ROOT
--- a/src/Doc/Demo_Easychair/ROOT	Sat Nov 05 14:53:29 2022 +0100
+++ b/src/Doc/Demo_Easychair/ROOT	Sat Nov 05 16:24:59 2022 +0100
@@ -1,7 +1,7 @@
-chapter Doc
+chapter Doc  (*Isabelle documentation*)
 
 session Demo_Easychair (doc) = HOL +
-  options [document_variants = "demo_easychair"]
+  options [document_variants = "demo_easychair"]  (*Isabelle documentation*)
   theories
     Document
   document_files (in "$ISABELLE_EASYCHAIR_HOME")
diff -r 74c3ecfeb3ea -r 8dbda1b611e9 src/Doc/Demo_FoilTeX/ROOT
--- a/src/Doc/Demo_FoilTeX/ROOT	Sat Nov 05 14:53:29 2022 +0100
+++ b/src/Doc/Demo_FoilTeX/ROOT	Sat Nov 05 16:24:59 2022 +0100
@@ -1,7 +1,7 @@
-chapter Doc
+chapter Doc  (*Isabelle documentation*)
 
 session Demo_FoilTeX (doc) = HOL +
-  options [document_variants = "demo_foiltex",
+  options [document_variants = "demo_foiltex",  (*Isabelle documentation*)
     document_build = "pdflatex", document_logo = "FoilTeX"]
   theories
     Document