--- a/NEWS Mon Sep 21 17:59:21 2015 +0200
+++ b/NEWS Mon Sep 21 20:21:29 2015 +0200
@@ -28,11 +28,11 @@
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.
+* 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.
*** Isar ***