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 robust options, notably for isatest mac-poly-M8-skip_proofs;
authorwenzelm
Tue, 25 Jun 2013 17:14:50 +0200
changeset 52446 c4a70058ff20
parent 52445 18a720984855
child 52447 9a74000426e2
more robust options, notably for isatest mac-poly-M8-skip_proofs;
src/Doc/ROOT file | annotate | diff | comparison | revisions 
--- a/src/Doc/ROOT	Tue Jun 25 16:55:10 2013 +0200
+++ b/src/Doc/ROOT	Tue Jun 25 17:14:50 2013 +0200
@@ -81,7 +81,7 @@
     Proof
     Syntax
     Tactic
-  theories [proofs = 2, parallel_proofs = 0]
+  theories [proofs = 2, skip_proofs = false, parallel_proofs = 0]
     Logic
   files
     "../prepare_document"
isabelle