diff -r 19fa3e3964f0 -r 82707f95a783 NEWS
--- 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.