Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more exhaustive full test, to avoid surprises with makedist_library;
authorwenzelm
Sun, 13 Jan 2013 22:07:00 +0100
changeset 50871 2ea3c90ff0bb
parent 50870 b8606dd29783
child 50872 a9f07af30d64
more exhaustive full test, to avoid surprises with makedist_library;
Admin/isatest/settings/mac-poly-M4 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly-M8 file | annotate | diff | comparison | revisions 
--- 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
 
--- 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
isabelle