Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Sat, 05 Nov 2022 16:24:59 +0100
changeset 76456 8dbda1b611e9
parent 76455 74c3ecfeb3ea
child 76457 badbae70c51a
tuned comments;
src/Doc/Demo_Easychair/ROOT file | annotate | diff | comparison | revisions
src/Doc/Demo_FoilTeX/ROOT file | annotate | diff | comparison | revisions 
--- 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")
--- 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
isabelle