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.
merged
authorwenzelm
Sun, 20 Jan 2013 14:05:37 +0100
changeset 50992 c633700b2d9f
parent 50988 5231bfb8bfcf (diff)
parent 50991 b3c6c9ef11b8 (current diff)
child 50993 2c3d0cb151c0
merged
--- a/src/HOL/ROOT	Sun Jan 20 14:00:05 2013 +0100
+++ b/src/HOL/ROOT	Sun Jan 20 14:05:37 2013 +0100
@@ -10,7 +10,7 @@
 
 session "HOL-Proofs" = Pure +
   description {* HOL-Main with explicit proof terms *}
-  options [document = false, proofs = 2, parallel_proofs = 0]
+  options [document = false, proofs = 2]
   theories Main
   files
     "Tools/Quickcheck/Narrowing_Engine.hs"
isabelle