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.
src/Doc/ROOT
changeset 52488 cd65ee49a8ba
parent 52446 c4a70058ff20
child 52499 812215680f6d 
--- a/src/Doc/ROOT	Sun Jun 30 11:37:34 2013 +0200
+++ b/src/Doc/ROOT	Sun Jun 30 12:30:02 2013 +0200
@@ -81,7 +81,7 @@
     Proof
     Syntax
     Tactic
-  theories [proofs = 2, skip_proofs = false, parallel_proofs = 0]
+  theories [skip_proofs = false, parallel_proofs = 0]
     Logic
   files
     "../prepare_document"
isabelle