src/Pure/System/isabelle_process.ML
changeset 51332 8707df0b0255
parent 51044 890f502f0e89
child 51423 e5f9a6d9ca82
     1.1 --- a/src/Pure/System/isabelle_process.ML	Mon Mar 04 11:36:16 2013 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Mon Mar 04 15:03:46 2013 +0100
     1.3 @@ -242,7 +242,7 @@
     1.4          Multithreading.max_threads := Options.int options "threads";
     1.5          if Multithreading.max_threads_value () < 2
     1.6          then Multithreading.max_threads := 2 else ();
     1.7 -        Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 4 else 0);
     1.8 +        Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 3 else 0);
     1.9          Goal.parallel_proofs_threshold := Options.int options "parallel_proofs_threshold";
    1.10          tracing_messages := Options.int options "editor_tracing_messages"
    1.11        end);