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.
test parallel proof terms in this small session (somewhat slow for bigger applications);
authorwenzelm
Sun, 18 Dec 2016 13:46:57 +0100
changeset 64597 1c252d8b6ca6
parent 64596 51f8e259de50
child 64598 476e89d06272
test parallel proof terms in this small session (somewhat slow for bigger applications);
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Sun Dec 18 13:07:13 2016 +0100
+++ b/src/HOL/ROOT	Sun Dec 18 13:46:57 2016 +0100
@@ -391,7 +391,7 @@
   theories Decision_Procs
 
 session "HOL-Proofs-ex" in "Proofs/ex" = "HOL-Proofs" +
-  options [document = false, parallel_proofs = 0]
+  options [document = false]
   theories
     Hilbert_Classical
     Proof_Terms
isabelle