--- a/etc/options Mon Sep 26 20:40:37 2022 +0200
+++ b/etc/options Tue Sep 27 13:34:54 2022 +0200
@@ -19,7 +19,7 @@
-- "explicitly enable use of bibtex (default: according to presence of root.bib)"
option document_build : string = "lualatex" (standard "build")
-- "document build engine (e.g. build, lualatex, pdflatex)"
-option document_logo : string = ""
+option document_logo : string = "" (standard "_")
-- "generate named instance of Isabelle logo (underscore means unnamed variant)"
option document_heading_prefix : string = "isamarkup" (standard)
-- "prefix for LaTeX macros generated from 'chapter', 'section' etc."
--- a/src/Doc/ROOT Mon Sep 26 20:40:37 2022 +0200
+++ b/src/Doc/ROOT Tue Sep 27 13:34:54 2022 +0200
@@ -121,7 +121,7 @@
"prelude.tex"
session Intro (doc) in "Intro" = Pure +
- options [document_logo = "_", document_bibliography, document_build = "build",
+ options [document_logo, document_bibliography, document_build = "build",
document_variants = "intro"]
document_files (in "..")
"pdfsetup.sty"
@@ -258,7 +258,7 @@
"root.tex"
session Logics (doc) in "Logics" = Pure +
- options [document_logo = "_", document_bibliography, document_build = "build",
+ options [document_logo, document_bibliography, document_build = "build",
document_variants = "logics"]
document_files (in "..")
"pdfsetup.sty"
@@ -352,7 +352,7 @@
"root.tex"
session System (doc) in "System" = Pure +
- options [document_logo = "_", document_bibliography, document_variants = "system",
+ options [document_logo, document_bibliography, document_variants = "system",
thy_output_source]
sessions
"HOL-Library"