# HG changeset patch
# User wenzelm
# Date 1375300413 -7200
# Node ID 76e9fbb7c0801c70318a57f94144809489e28712
# Parent  408fb2e563df2cdb0cb6583f750be3cda6edb985
NEWS;

diff -r 408fb2e563df -r 76e9fbb7c080 NEWS
--- a/NEWS	Wed Jul 31 21:49:29 2013 +0200
+++ b/NEWS	Wed Jul 31 21:53:33 2013 +0200
@@ -43,8 +43,11 @@
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
-* Continuous checking of proof document (visible and required parts)
-may be controlled explicitly, using check box or "C+e ENTER" shortcut.
+* Improved "Theories" panel: Continuous checking of proof document
+(visible and required parts) may be controlled explicitly, using check
+box or shortcut "C+e ENTER".  Individual theory nodes may be marked
+explicitly as required and checked in full, using check box or
+shortcut "C+e SPACE".
 
 * Strictly monotonic document update, without premature cancelation of
 running transactions that are still needed: avoid reset/restart of