--- a/NEWS Thu Nov 11 16:14:50 1999 +0100
+++ b/NEWS Fri Nov 12 10:57:28 1999 +0100
@@ -2,19 +2,20 @@
Isabelle NEWS -- history user-relevant changes
==============================================
+New in this Isabelle version
+----------------------------
+
*** Overview of INCOMPATIBILITIES (see below for more details) ***
* HOL: the constant for f``x is now "image" rather than "op ``".
-New in this Isabelle version
-----------------------------
-
*** HOL ***
* Algebra: new theory of rings and univariate polynomials, by Clemens Ballarin
+
New in Isabelle99 (October 1999)
--------------------------------