changeset 3205 | 816a1f9fd620 |
parent 3116 | b890bae4273e |
child 3227 | 9190438471ea |
--- a/NEWS Thu May 15 15:46:32 1997 +0200 +++ b/NEWS Thu May 15 15:47:19 1997 +0200 @@ -10,6 +10,8 @@ * new utilities to build / run / maintain Isabelle etc. (in parts still somewhat experimental); old Makefiles etc. still functional; +* new 'Isabelle System Manual'; + * INSTALL text, together with ./configure and ./build scripts; * reimplemented type inference for greater efficiency, better error