# HG changeset patch
# User wenzelm
# Date 1447073396 -3600
# Node ID bb20f11dd842e9c45042de7f2e83b16170cf8f3c
# Parent  2abbe7d700e96b435ee5ec0cc1b0bfe7460c59cb
prefer explicit State panel;

diff -r 2abbe7d700e9 -r bb20f11dd842 NEWS
--- 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
diff -r 2abbe7d700e9 -r bb20f11dd842 etc/options
--- 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