Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/settings/mac-poly-M4
changeset 50871 2ea3c90ff0bb
parent 50681 935988e2b35a
child 53334 646a224ca76a 
--- 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
isabelle