--- 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."