1.1 --- a/NEWS	Wed Apr 06 13:27:59 2011 +0200
     1.2 +++ b/NEWS	Wed Apr 06 13:33:46 2011 +0200
     1.3 @@ -97,6 +97,9 @@
     1.4  content, no inclusion in structure Syntax.  INCOMPATIBILITY, refer to
     1.5  qualified names like Ast.Constant etc.
     1.6  
     1.7 +* Typed print translation: discontinued show_sorts argument, which is
     1.8 +already available via context of "advanced" translation.
     1.9 +
    1.10  
    1.11  
    1.12  New in Isabelle2011 (January 2011)