NEWS

--- a/NEWS	Sat Oct 29 12:55:34 2011 +0200
+++ b/NEWS	Sat Oct 29 12:57:43 2011 +0200
@@ -81,7 +81,7 @@
 ProofContext has been discontinued.  INCOMPATIBILITY.
 
 * Refined Local_Theory.declaration {syntax, pervasive}, with subtle
-change of semantics for syntax = false: update is applied to auxiliary
+change of semantics: update is applied to auxiliary local theory
 context as well.