# HG changeset patch
# User wenzelm
# Date 863704039 -7200
# Node ID 816a1f9fd620718fad1bb0563650eceb42dfb655
# Parent  c1653e2e146d0d800987b0cac3d38099b40b9109
*** empty log message ***

diff -r c1653e2e146d -r 816a1f9fd620 NEWS
--- 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