--- a/NEWS Mon Jul 29 20:38:40 2013 +0200
+++ b/NEWS Mon Jul 29 20:46:21 2013 +0200
@@ -43,6 +43,12 @@
*** 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".
+
* Strictly monotonic document update, without premature cancelation of
running transactions that are still needed: avoid reset/restart of
such command executions while editing.