--- a/src/Doc/ROOT Sun Sep 08 17:15:46 2019 +0200
+++ b/src/Doc/ROOT Sun Sep 08 17:49:35 2019 +0200
@@ -404,9 +404,9 @@
"root.tex"
session Tutorial (doc) in "Tutorial" = HOL +
+ options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false]
directories "Advanced" "CTL" "CodeGen" "Datatype" "Documents" "Fun" "Ifexpr"
"Inductive" "Misc" "Protocol" "Rules" "Sets" "ToyList" "Trie" "Types"
- options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false]
theories [threads = 1]
"ToyList/ToyList_Test"
theories [thy_output_indent = 5]