NEWS
changeset 61604 bb20f11dd842
parent 61602 a2f0f659a3c2
child 61606 6d5213bd9709
     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