--- a/NEWS Mon Nov 09 13:49:29 2015 +0100
+++ b/NEWS Mon Nov 09 13:49:56 2015 +0100
@@ -54,9 +54,12 @@
* The State panel manages explicit proof state output, with jEdit action
"isabelle.update-state" (shortcut S+ENTER) to trigger update according
-to cursor position. Option "editor_output_state" controls implicit proof
-state output in the Output panel: suppressing this reduces resource
-requirements of prover time and GUI space.
+to cursor position.
+
+* The Output panel no longer shows proof state output by default. This
+reduces resource requirements of prover time and GUI space.
+INCOMPATIBILITY, use the State panel instead or enable option
+"editor_output_state".
* Action "isabelle-emph" (with keyboard shortcut C+e LEFT) controls
emphasized text style; the effect is visible in document output, not in
--- a/etc/options Mon Nov 09 13:49:29 2015 +0100
+++ b/etc/options Mon Nov 09 13:49:56 2015 +0100
@@ -143,7 +143,7 @@
public option editor_continuous_checking : bool = true
-- "continuous checking of proof document (visible and required parts)"
-public option editor_output_state : bool = true
+public option editor_output_state : bool = false
-- "implicit output of proof state"
option editor_execution_delay : real = 0.02