# HG changeset patch
# User wenzelm
# Date 1358111220 -3600
# Node ID 2ea3c90ff0bb70c8c7efcc46e3e32a39e4a287c8
# Parent  b8606dd29783e5a25bf356e11451349180db3071
more exhaustive full test, to avoid surprises with makedist_library;

diff -r b8606dd29783 -r 2ea3c90ff0bb Admin/isatest/settings/mac-poly-M4
--- a/Admin/isatest/settings/mac-poly-M4	Sun Jan 13 22:05:47 2013 +0100
+++ b/Admin/isatest/settings/mac-poly-M4	Sun Jan 13 22:07:00 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 b8606dd29783 -r 2ea3c90ff0bb Admin/isatest/settings/mac-poly-M8
--- a/Admin/isatest/settings/mac-poly-M8	Sun Jan 13 22:05:47 2013 +0100
+++ b/Admin/isatest/settings/mac-poly-M8	Sun Jan 13 22:07:00 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