1.1 --- a/NEWS	Fri Apr 08 15:48:14 2011 +0200
     1.2 +++ b/NEWS	Fri Apr 08 16:34:14 2011 +0200
     1.3 @@ -93,10 +93,11 @@
     1.4  be disabled via the configuration option Syntax.positions, which is
     1.5  called "syntax_positions" in Isar attribute syntax.
     1.6  
     1.7 -* Discontinued special treatment of various ML structures of inner
     1.8 -syntax, such as structure Ast: no pervasive content, no inclusion in
     1.9 -structure Syntax.  INCOMPATIBILITY, refer to qualified names like
    1.10 -Ast.Constant etc.
    1.11 +* Discontinued special status of various ML structures that contribute
    1.12 +to structure Syntax (Ast, Lexicon, Mixfix, Parser, Printer etc.): less
    1.13 +pervasive content, no inclusion in structure Syntax.  INCOMPATIBILITY,
    1.14 +refer directly to Ast.Constant, Lexicon.is_identifier,
    1.15 +Syntax_Trans.mk_binder_tr etc.
    1.16  
    1.17  * Typed print translation: discontinued show_sorts argument, which is
    1.18  already available via context of "advanced" translation.