# HG changeset patch
# User wenzelm
# Date 1358111364 -3600
# Node ID a9f07af30d6433101b6a608e239ce41a708ce815
# Parent  2ea3c90ff0bb70c8c7efcc46e3e32a39e4a287c8# Parent  4b30d461b3a6ff955981735b9538461a026c0ad8
merged

diff -r 4b30d461b3a6 -r a9f07af30d64 Admin/isatest/settings/mac-poly-M4
--- a/Admin/isatest/settings/mac-poly-M4	Sun Jan 13 22:00:45 2013 +0100
+++ b/Admin/isatest/settings/mac-poly-M4	Sun Jan 13 22:09:24 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
 
diff -r 4b30d461b3a6 -r a9f07af30d64 Admin/isatest/settings/mac-poly-M8
--- a/Admin/isatest/settings/mac-poly-M8	Sun Jan 13 22:00:45 2013 +0100
+++ b/Admin/isatest/settings/mac-poly-M8	Sun Jan 13 22:09:24 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
 
diff -r 4b30d461b3a6 -r a9f07af30d64 src/HOL/ROOT
--- a/src/HOL/ROOT	Sun Jan 13 22:00:45 2013 +0100
+++ b/src/HOL/ROOT	Sun Jan 13 22:09:24 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"