--- a/src/Doc/ROOT Wed Mar 27 17:58:07 2013 +0100
+++ b/src/Doc/ROOT Wed Mar 27 18:04:21 2013 +0100
@@ -40,7 +40,7 @@
"document/style.sty"
session Functions (doc) in "Functions" = HOL +
- options [document_variants = "functions"]
+ options [document_variants = "functions", skip_proofs = false]
theories Functions
files
"../prepare_document"
@@ -145,7 +145,7 @@
"document/root.tex"
session Locales (doc) in "Locales" = HOL +
- options [document_variants = "locales", pretty_margin = 65]
+ options [document_variants = "locales", pretty_margin = 65, skip_proofs = false]
theories
Examples1
Examples2
@@ -295,7 +295,7 @@
"document/root.tex"
session Tutorial (doc) in "Tutorial" = HOL +
- options [document_variants = "tutorial", print_mode = "brackets"]
+ options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false]
theories [thy_output_indent = 5]
"ToyList/ToyList"
"Ifexpr/Ifexpr"