*** empty log message ***

--- 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