Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/Demo_LIPIcs/ROOT
changeset 76454 f2d17e69e520
parent 76451 87cd8506e000 
--- a/src/Doc/Demo_LIPIcs/ROOT	Sat Nov 05 14:29:19 2022 +0100
+++ b/src/Doc/Demo_LIPIcs/ROOT	Sat Nov 05 14:41:51 2022 +0100
@@ -1,8 +1,10 @@
-chapter Doc
+chapter Doc  (*Isabelle documentation*)
 
 session Demo_LIPIcs (doc) = HOL +
-  options [document_variants = "demo_lipics",
-    document_build = "lipics"]
+  options [
+    document_variants = "demo_lipics",  (*Isabelle documentation*)
+    document_build = "lipics_pdflatex"  (*or: "lipics" for LuaLaTeX*)
+  ]
   theories
     Document
   document_files
isabelle