# HG changeset patch # User wenzelm # Date 861280886 -7200 # Node ID c1e1e8406fb2bd9906692690cf95a2a001861fc1 # Parent 4ed0b27e482d104b061c502cff8aea3dd44c9072 *** empty log message *** diff -r 4ed0b27e482d -r c1e1e8406fb2 NEWS --- a/NEWS Thu Apr 17 14:41:08 1997 +0200 +++ b/NEWS Thu Apr 17 14:41:26 1997 +0200 @@ -5,6 +5,8 @@ New in Isabelle94-8 (April 1997) -------------------------------- +* reimplemented type inference; + * INSTALL text, together with ./configure and ./build scripts; * added token_translation interface (may translate name tokens in