--- a/src/Pure/System/isabelle_process.ML Wed Mar 13 17:15:25 2013 +0100
+++ b/src/Pure/System/isabelle_process.ML Wed Mar 13 21:25:08 2013 +0100
@@ -243,7 +243,8 @@
if Multithreading.max_threads_value () < 2
then Multithreading.max_threads := 2 else ();
Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 3 else 0);
- Goal.parallel_proofs_threshold := Options.int options "parallel_proofs_threshold";
+ Goal.parallel_subproofs_saturation := Options.int options "parallel_subproofs_saturation";
+ Goal.parallel_subproofs_threshold := Options.real options "parallel_subproofs_threshold";
tracing_messages := Options.int options "editor_tracing_messages"
end);