NEWS

--- a/NEWS	Fri Jun 20 11:34:05 1997 +0200
+++ b/NEWS	Fri Jun 20 11:37:53 1997 +0200
@@ -2,6 +2,12 @@
 Isabelle NEWS -- history of user-visible changes
 ================================================
 
+New in Isabelle???? (DATE ????)
+-------------------------------
+
+* removed old README and Makefiles;
+
+
 New in Isabelle94-8 (May 1997)
 ------------------------------