changeset 2825 | a94dba60d5f2 |
parent 2773 | 36fdd908a26c |
child 2865 | 77daca16b2f4 |
--- a/NEWS Thu Mar 20 11:29:59 1997 +0100 +++ b/NEWS Thu Mar 20 11:31:47 1997 +0100 @@ -5,7 +5,7 @@ New in Isabelle94-8 (April 1997) -------------------------------- -* INSTALLATION text, together with ./configure and ./build scripts; +* INSTALL 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