src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Fri Jul 19 17:35:12 2013 +0200
+++ b/src/Pure/System/isabelle_process.ML	Fri Jul 19 17:58:57 2013 +0200
@@ -229,7 +229,6 @@
         Future.ML_statistics := true;
         Multithreading.trace := Options.int options "threads_trace";
         Multithreading.max_threads := Options.int options "threads";
-        Goal.skip_proofs := Options.bool options "editor_skip_proofs";
         Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 3 else 0)
       end);