diff -r 25d9d836ed9c -r 326f57825e1a NEWS
--- a/NEWS	Fri Apr 08 11:39:45 2011 +0200
+++ b/NEWS	Fri Apr 08 13:31:16 2011 +0200
@@ -93,9 +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.
+* Discontinued special treatment of various ML structures of inner
+syntax, such as structure Ast: no pervasive content, no inclusion in
+structure Syntax.  INCOMPATIBILITY, refer to qualified names like
+Ast.Constant etc.
 
 * Typed print translation: discontinued show_sorts argument, which is
 already available via context of "advanced" translation.