# HG changeset patch
# User wenzelm
# Date 1442847693 -7200
# Node ID 652611b34c2c4d0e9d98d0c9f5ee8a8ff2cf3192
# Parent  a00bee2dfbd145b665a7a93199aff5d725ae914e
NEWS;

diff -r a00bee2dfbd1 -r 652611b34c2c NEWS
--- a/NEWS	Mon Sep 21 16:55:37 2015 +0200
+++ b/NEWS	Mon Sep 21 17:01:33 2015 +0200
@@ -28,6 +28,12 @@
 asynchronously, leading to much better editor reactivity. Moreover, the
 full document node content is taken into account.
 
+* The State panel manages implicit proof state output, with jEdit action
+"isabelle-update-state" to trigger update according to cursor position.
+Option "editor_output_state" controls implicit proof state output in the
+Output panel: suppressing this may reduce resource requirements of
+prover time and GUI space.
+
 
 *** Isar ***