| changeset 45293 | 57def0b39696 |
| parent 45233 | 28b076e0bea8 |
| child 45298 | aa35859c8741 |
--- a/NEWS Fri Oct 28 23:10:44 2011 +0200 +++ b/NEWS Fri Oct 28 23:16:50 2011 +0200 @@ -80,6 +80,10 @@ * Structure Proof_Context follows standard naming scheme. Old ProofContext has been discontinued. INCOMPATIBILITY. +* Refined Local_Theory.declaration {syntax, pervasive}, with subtle +change of semantics for syntax = false: update is applied to auxiliary +context as well. + New in Isabelle2011-1 (October 2011)