separate option editor_skip_proofs, to avoid accidental change of preferences for skip_proofs, which would invalidate batch builds;
authorwenzelm
Wed Mar 27 16:46:52 2013 +0100 (2013-03-27 ago)
changeset 51554041bc3d31f23
parent 51553 63327f679cff
child 51555 6aa64925db77
separate option editor_skip_proofs, to avoid accidental change of preferences for skip_proofs, which would invalidate batch builds;
etc/options
src/Pure/System/isabelle_process.ML
src/Tools/jEdit/src/isabelle_options.scala
     1.1 --- a/etc/options	Wed Mar 27 16:38:25 2013 +0100
     1.2 +++ b/etc/options	Wed Mar 27 16:46:52 2013 +0100
     1.3 @@ -83,6 +83,9 @@
     1.4  
     1.5  section "Editor Reactivity"
     1.6  
     1.7 +option editor_skip_proofs : bool = false
     1.8 +  -- "skip over proofs (implicit 'sorry')"
     1.9 +
    1.10  option editor_load_delay : real = 0.5
    1.11    -- "delay for file load operations (new buffers etc.)"
    1.12  
     2.1 --- a/src/Pure/System/isabelle_process.ML	Wed Mar 27 16:38:25 2013 +0100
     2.2 +++ b/src/Pure/System/isabelle_process.ML	Wed Mar 27 16:46:52 2013 +0100
     2.3 @@ -242,7 +242,7 @@
     2.4          Multithreading.max_threads := Options.int options "threads";
     2.5          if Multithreading.max_threads_value () < 2
     2.6          then Multithreading.max_threads := 2 else ();
     2.7 -        Goal.skip_proofs := Options.bool options "skip_proofs";
     2.8 +        Goal.skip_proofs := Options.bool options "editor_skip_proofs";
     2.9          Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 3 else 0);
    2.10          Goal.parallel_subproofs_saturation := Options.int options "parallel_subproofs_saturation";
    2.11          Goal.parallel_subproofs_threshold := Options.real options "parallel_subproofs_threshold";
     3.1 --- a/src/Tools/jEdit/src/isabelle_options.scala	Wed Mar 27 16:38:25 2013 +0100
     3.2 +++ b/src/Tools/jEdit/src/isabelle_options.scala	Wed Mar 27 16:46:52 2013 +0100
     3.3 @@ -44,10 +44,10 @@
     3.4      Set("jedit_logic", "jedit_font_scale", "jedit_symbols_search_limit",
     3.5        "jedit_text_overview_limit", "jedit_tooltip_bounds", "jedit_tooltip_delay",
     3.6        "jedit_tooltip_font_scale", "jedit_tooltip_margin", "jedit_mac_adapter",
     3.7 -      "jedit_timing_threshold", "skip_proofs", "threads", "threads_trace", "parallel_proofs",
     3.8 -      "parallel_subproofs_saturation", "editor_load_delay", "editor_input_delay",
     3.9 -      "editor_output_delay", "editor_reparse_limit", "editor_tracing_messages",
    3.10 -      "editor_update_delay", "editor_chart_delay")
    3.11 +      "jedit_timing_threshold", "threads", "threads_trace", "parallel_proofs",
    3.12 +      "parallel_subproofs_saturation", "editor_skip_proofs", "editor_load_delay",
    3.13 +      "editor_input_delay", "editor_output_delay", "editor_reparse_limit",
    3.14 +      "editor_tracing_messages", "editor_update_delay", "editor_chart_delay")
    3.15  
    3.16    relevant_options.foreach(PIDE.options.value.check_name _)
    3.17