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