--- a/etc/options Sat Nov 20 18:15:09 2021 +0100
+++ b/etc/options Sat Nov 20 18:58:23 2021 +0100
@@ -21,6 +21,8 @@
-- "document build engine (e.g. lualatex, pdflatex, build)"
option document_logo : string = ""
-- "generate named instance of Isabelle logo (underscore means unnamed variant)"
+option document_heading_prefix : string = "isamarkup"
+ -- "prefix for LaTeX macros generated from 'chapter', 'section' etc."
option thy_output_display : bool = false
-- "indicate output as multi-line display-style material"