# HG changeset patch
# User wenzelm
# Date 888486499 -3600
# Node ID 481628ea8eddca499ea8ede3de1c3792b2429771
# Parent  dbeae12ada2072313f4b7975aa8bbe58bdbb2f89
*** empty log message ***

diff -r dbeae12ada20 -r 481628ea8edd NEWS
--- a/NEWS	Thu Feb 26 10:41:36 1998 +0100
+++ b/NEWS	Thu Feb 26 10:48:19 1998 +0100
@@ -1,11 +1,9 @@
-
-
 
 Isabelle NEWS -- history of user-visible changes
 ================================================
 
-New in Isabelle98? (???)
------------------------
+New in Isabelle??? (FIXME)
+--------------------------
 
 * changed wrapper mechanism for the classical reasoner now allows for selected
   deletion of wrappers, by introduction of names for wrapper functionals.
@@ -18,6 +16,7 @@
   getWrapper is renamed to appWrappers, getSWrapper to appSWrappers;
 
 
+
 New in Isabelle98 (January 1998)
 --------------------------------