| changeset 42247 | 12fe41a92cd5 |
| parent 42239 | e48baf91aeab |
| child 42284 | 326f57825e1a |
--- 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)