# HG changeset patch
# User wenzelm
# Date 1358112616 -3600
# Node ID 3afe082ff9cd9ae7115fd4307f8b4cc0dbd2ad4a
# Parent  67bb94a6f7808a5a7824aa17ae0f2b532eadcc97# Parent  a9f07af30d6433101b6a608e239ce41a708ce815
merged

diff -r 67bb94a6f780 -r 3afe082ff9cd Admin/isatest/settings/mac-poly-M4
--- 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
 
diff -r 67bb94a6f780 -r 3afe082ff9cd Admin/isatest/settings/mac-poly-M8
--- 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
 
diff -r 67bb94a6f780 -r 3afe082ff9cd src/HOL/ROOT
--- 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"