src/Pure/System/isabelle_process.ML
changeset 52104 250cd2a9308d
parent 52058 387dc978422b
child 52105 88b423034d4f
     1.1 --- a/src/Pure/System/isabelle_process.ML	Tue May 21 17:45:53 2013 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue May 21 17:55:28 2013 +0200
     1.3 @@ -244,8 +244,6 @@
     1.4          then Multithreading.max_threads := 2 else ();
     1.5          Goal.skip_proofs := Options.bool options "editor_skip_proofs";
     1.6          Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 3 else 0);
     1.7 -        Goal.parallel_subproofs_saturation := Options.int options "parallel_subproofs_saturation";
     1.8 -        Goal.parallel_subproofs_threshold := Options.real options "parallel_subproofs_threshold";
     1.9          tracing_messages := Options.int options "editor_tracing_messages"
    1.10        end);
    1.11