# HG changeset patch
# User wenzelm
# Date 896351045 -7200
# Node ID 9703ba0e912258865a91ae7200393b708dac1159
# Parent  a5b90f34a05c005a9efda568babb57dbc982d608
tuned header;

diff -r a5b90f34a05c -r 9703ba0e9122 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 ***