NEWS

--- a/NEWS	Thu May 28 12:23:11 1998 +0200
+++ b/NEWS	Thu May 28 12:24:05 1998 +0200
@@ -2,8 +2,8 @@
 Isabelle NEWS -- history of user-visible changes
 ================================================
 
-New in Isabelle??? (FIXME)
---------------------------
+New in this Isabelle version
+----------------------------
 
 *** General Changes ***