# HG changeset patch
# User wenzelm
# Date 1482065217 -3600
# Node ID 1c252d8b6ca6ed20d917f480ef82d2ff02f5a6ed
# Parent  51f8e259de50d8d2f30bba9fc3a2a3e5d7ab9c57
test parallel proof terms in this small session (somewhat slow for bigger applications);

diff -r 51f8e259de50 -r 1c252d8b6ca6 src/HOL/ROOT
--- 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