--- a/Admin/isatest/settings/mac-poly-M4 Sun Jan 13 22:17:00 2013 +0100
+++ b/Admin/isatest/settings/mac-poly-M4 Sun Jan 13 22:30:16 2013 +0100
@@ -25,7 +25,7 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
+ISABELLE_BUILD_OPTIONS="browser_info=false document=pdf document_variants=document:outline=/proof,/ML threads=4 parallel_proofs=2"
ISABELLE_FULL_TEST=true
--- a/Admin/isatest/settings/mac-poly-M8 Sun Jan 13 22:17:00 2013 +0100
+++ b/Admin/isatest/settings/mac-poly-M8 Sun Jan 13 22:30:16 2013 +0100
@@ -25,7 +25,7 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
+ISABELLE_BUILD_OPTIONS="browser_info=false document=pdf document_variants=document:outline=/proof,/ML threads=8 parallel_proofs=2"
ISABELLE_FULL_TEST=true
--- a/src/HOL/ROOT Sun Jan 13 22:17:00 2013 +0100
+++ b/src/HOL/ROOT Sun Jan 13 22:30:16 2013 +0100
@@ -65,7 +65,7 @@
files "document/root.tex"
session "HOL-IMP" in IMP = HOL +
- options [document_graph]
+ options [document_graph, document_variants=document]
theories [document = false]
"~~/src/HOL/ex/Interpretation_with_Defs"
"~~/src/HOL/Library/While_Combinator"