1.1 --- a/NEWS	Fri Apr 08 11:39:45 2011 +0200
     1.2 +++ b/NEWS	Fri Apr 08 13:31:16 2011 +0200
     1.3 @@ -93,9 +93,10 @@
     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 structure Ast: no pervasive
     1.8 -content, no inclusion in structure Syntax.  INCOMPATIBILITY, refer to
     1.9 -qualified names like Ast.Constant etc.
    1.10 +* Discontinued special treatment of various ML structures of inner
    1.11 +syntax, such as structure Ast: no pervasive content, no inclusion in
    1.12 +structure Syntax.  INCOMPATIBILITY, refer to qualified names like
    1.13 +Ast.Constant etc.
    1.14  
    1.15  * Typed print translation: discontinued show_sorts argument, which is
    1.16  already available via context of "advanced" translation.