changeset 2773 | 36fdd908a26c |
parent 2756 | 643cba384a61 |
child 2825 | a94dba60d5f2 |
--- a/NEWS Fri Mar 07 15:51:31 1997 +0100 +++ b/NEWS Fri Mar 07 15:51:44 1997 +0100 @@ -5,6 +5,8 @@ New in Isabelle94-8 (April 1997) -------------------------------- +* INSTALLATION text, together with ./configure and ./build scripts; + * added token_translation interface (may translate name tokens in arbitrary ways, dependent on their type (free, bound, tfree, ...) and the current print_mode);