NEWS

--- a/NEWS	Tue Apr 05 11:44:34 2011 +0200
+++ b/NEWS	Tue Apr 05 15:15:33 2011 +0200
@@ -93,6 +93,10 @@
 be disabled via the configuration option Syntax.positions, which is
 called "syntax_positions" in Isar attribute syntax.
 
+* Discontinued special treatment of structure Ast: no pervasive
+content, no inclusion in structure Syntax.  INCOMPATIBILITY, refer to
+qualified names like Ast.Constant etc.
+
 
 
 New in Isabelle2011 (January 2011)