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.
afford parallel proof terms;
authorwenzelm
Sat, 19 Jan 2013 22:18:35 +0100
changeset 50988 5231bfb8bfcf
parent 50987 616789281413
child 50992 c633700b2d9f
afford parallel proof terms;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Sat Jan 19 22:17:26 2013 +0100
+++ b/src/HOL/ROOT	Sat Jan 19 22:18:35 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