# HG changeset patch
# User wenzelm
# Date 1525897524 -7200
# Node ID f6a22490cca8f50abe4bbae8299fee0bcc814f0c
# Parent  2a5ae592eafb41d2f024fbbf00d4e214a474bfb3
less ambitious parallelism, notably for threads=2;

diff -r 2a5ae592eafb -r f6a22490cca8 src/HOL/ROOT
--- a/src/HOL/ROOT	Wed May 09 22:04:09 2018 +0200
+++ b/src/HOL/ROOT	Wed May 09 22:25:24 2018 +0200
@@ -15,7 +15,7 @@
   description {*
     HOL-Main with explicit proof terms.
   *}
-  options [quick_and_dirty = false, record_proofs = 2, parallel_proofs = 0]
+  options [quick_and_dirty = false, record_proofs = 2, parallel_proofs = 0, parallel_limit = 500]
   sessions
     "HOL-Library"
   theories