# HG changeset patch
# User wenzelm
# Date 1364399212 -3600
# Node ID 041bc3d31f23867e9d5a478cc2e0e38e2ab84794
# Parent  63327f679cff1b93f8f01c460a8b3036e986a59e
separate option editor_skip_proofs, to avoid accidental change of preferences for skip_proofs, which would invalidate batch builds;

diff -r 63327f679cff -r 041bc3d31f23 etc/options
--- a/etc/options	Wed Mar 27 16:38:25 2013 +0100
+++ b/etc/options	Wed Mar 27 16:46:52 2013 +0100
@@ -83,6 +83,9 @@
 
 section "Editor Reactivity"
 
+option editor_skip_proofs : bool = false
+  -- "skip over proofs (implicit 'sorry')"
+
 option editor_load_delay : real = 0.5
   -- "delay for file load operations (new buffers etc.)"
 
diff -r 63327f679cff -r 041bc3d31f23 src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Wed Mar 27 16:38:25 2013 +0100
+++ b/src/Pure/System/isabelle_process.ML	Wed Mar 27 16:46:52 2013 +0100
@@ -242,7 +242,7 @@
         Multithreading.max_threads := Options.int options "threads";
         if Multithreading.max_threads_value () < 2
         then Multithreading.max_threads := 2 else ();
-        Goal.skip_proofs := Options.bool options "skip_proofs";
+        Goal.skip_proofs := Options.bool options "editor_skip_proofs";
         Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 3 else 0);
         Goal.parallel_subproofs_saturation := Options.int options "parallel_subproofs_saturation";
         Goal.parallel_subproofs_threshold := Options.real options "parallel_subproofs_threshold";
diff -r 63327f679cff -r 041bc3d31f23 src/Tools/jEdit/src/isabelle_options.scala
--- a/src/Tools/jEdit/src/isabelle_options.scala	Wed Mar 27 16:38:25 2013 +0100
+++ b/src/Tools/jEdit/src/isabelle_options.scala	Wed Mar 27 16:46:52 2013 +0100
@@ -44,10 +44,10 @@
     Set("jedit_logic", "jedit_font_scale", "jedit_symbols_search_limit",
       "jedit_text_overview_limit", "jedit_tooltip_bounds", "jedit_tooltip_delay",
       "jedit_tooltip_font_scale", "jedit_tooltip_margin", "jedit_mac_adapter",
-      "jedit_timing_threshold", "skip_proofs", "threads", "threads_trace", "parallel_proofs",
-      "parallel_subproofs_saturation", "editor_load_delay", "editor_input_delay",
-      "editor_output_delay", "editor_reparse_limit", "editor_tracing_messages",
-      "editor_update_delay", "editor_chart_delay")
+      "jedit_timing_threshold", "threads", "threads_trace", "parallel_proofs",
+      "parallel_subproofs_saturation", "editor_skip_proofs", "editor_load_delay",
+      "editor_input_delay", "editor_output_delay", "editor_reparse_limit",
+      "editor_tracing_messages", "editor_update_delay", "editor_chart_delay")
 
   relevant_options.foreach(PIDE.options.value.check_name _)