src/Pure/System/isabelle_process.ML
changeset 52710 52790e3961fe
parent 52655 3b2b1ef13979
child 52712 43e48bb554ba
     1.1 --- a/src/Pure/System/isabelle_process.ML	Fri Jul 19 17:35:12 2013 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Fri Jul 19 17:58:57 2013 +0200
     1.3 @@ -229,7 +229,6 @@
     1.4          Future.ML_statistics := true;
     1.5          Multithreading.trace := Options.int options "threads_trace";
     1.6          Multithreading.max_threads := Options.int options "threads";
     1.7 -        Goal.skip_proofs := Options.bool options "editor_skip_proofs";
     1.8          Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 3 else 0)
     1.9        end);
    1.10