# 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