| changeset 2731 | b31da96769b6 |
| parent 2730 | 865995b744f5 |
| child 2732 | 84fc9c3b6bf0 |
--- a/NEWS Wed Mar 05 13:37:16 1997 +0100 +++ b/NEWS Wed Mar 05 13:40:41 1997 +0100 @@ -3,7 +3,7 @@ ================================================ New in Isabelle94-8 (April 1997) ------------------------------------------------- +-------------------------------- * added token_translation interface (may translate name tokens in arbitrary ways, dependent on their type (free, bound, tfree, ...));