1.1 --- a/NEWS	Tue Apr 05 13:07:40 2011 +0200
     1.2 +++ b/NEWS	Tue Apr 05 14:25:18 2011 +0200
     1.3 @@ -93,6 +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 +
    1.11  
    1.12  
    1.13  New in Isabelle2011 (January 2011)