diff -r 8f798ba04393 -r 12fe41a92cd5 NEWS
--- a/NEWS	Wed Apr 06 13:27:59 2011 +0200
+++ b/NEWS	Wed Apr 06 13:33:46 2011 +0200
@@ -97,6 +97,9 @@
 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.
+
 
 
 New in Isabelle2011 (January 2011)