--- 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)
--------------------------------