prefer explicit State panel;
authorwenzelm
Mon Nov 09 13:49:56 2015 +0100 (2015-11-09)
changeset 61604bb20f11dd842
parent 61603 2abbe7d700e9
child 61605 1bf7b186542e
prefer explicit State panel;
NEWS
etc/options
     1.1 --- a/NEWS	Mon Nov 09 13:49:29 2015 +0100
     1.2 +++ b/NEWS	Mon Nov 09 13:49:56 2015 +0100
     1.3 @@ -54,9 +54,12 @@
     1.4  
     1.5  * The State panel manages explicit proof state output, with jEdit action
     1.6  "isabelle.update-state" (shortcut S+ENTER) to trigger update according
     1.7 -to cursor position. Option "editor_output_state" controls implicit proof
     1.8 -state output in the Output panel: suppressing this reduces resource
     1.9 -requirements of prover time and GUI space.
    1.10 +to cursor position.
    1.11 +
    1.12 +* The Output panel no longer shows proof state output by default. This
    1.13 +reduces resource requirements of prover time and GUI space.
    1.14 +INCOMPATIBILITY, use the State panel instead or enable option
    1.15 +"editor_output_state".
    1.16  
    1.17  * Action "isabelle-emph" (with keyboard shortcut C+e LEFT) controls
    1.18  emphasized text style; the effect is visible in document output, not in
     2.1 --- a/etc/options	Mon Nov 09 13:49:29 2015 +0100
     2.2 +++ b/etc/options	Mon Nov 09 13:49:56 2015 +0100
     2.3 @@ -143,7 +143,7 @@
     2.4  public option editor_continuous_checking : bool = true
     2.5    -- "continuous checking of proof document (visible and required parts)"
     2.6  
     2.7 -public option editor_output_state : bool = true
     2.8 +public option editor_output_state : bool = false
     2.9    -- "implicit output of proof state"
    2.10  
    2.11  option editor_execution_delay : real = 0.02