--- a/NEWS Thu Nov 11 12:44:08 1999 +0100
+++ b/NEWS Thu Nov 11 16:14:50 1999 +0100
@@ -2,9 +2,18 @@
Isabelle NEWS -- history user-relevant changes
==============================================
+*** 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)
--------------------------------