--- a/NEWS Tue Jul 30 23:17:26 2013 +0200
+++ b/NEWS Wed Jul 31 10:54:37 2013 +0200
@@ -43,11 +43,8 @@
*** Prover IDE -- Isabelle/Scala/jEdit ***
-* Execution range of continuous document processing may be set to
-"all", "none", "visible". See also dockable window "Theories" or
-keyboard shortcuts "C-e BACK_SPACE" for "none", and "C-e SPACE" for
-"visible". These declarative options supersede the old-style action
-buttons "Cancel" and "Check".
+* Continuous checking of proof document (visible and required parts)
+may be controlled explicitly, using check box or "C+e ENTER" shortcut.
* Strictly monotonic document update, without premature cancelation of
running transactions that are still needed: avoid reset/restart of