# HG changeset patch
# User wenzelm
# Date 1360788782 -3600
# Node ID ef05924984182b6c70d418f06626b7ae5061b169
# Parent  cabf63b1ddfd1dd65e684d52b27359c505f626f7
clarified default according to etc/options;

diff -r cabf63b1ddfd -r ef0592498418 src/Pure/goal.ML
--- a/src/Pure/goal.ML	Wed Feb 13 19:52:58 2013 +0100
+++ b/src/Pure/goal.ML	Wed Feb 13 21:53:02 2013 +0100
@@ -182,7 +182,7 @@
 (* scheduling parameters *)
 
 val parallel_proofs = Unsynchronized.ref 1;
-val parallel_proofs_threshold = Unsynchronized.ref 50;
+val parallel_proofs_threshold = Unsynchronized.ref 100;
 
 fun future_enabled_level n =
   Multithreading.enabled () andalso ! parallel_proofs >= n andalso