1.1 --- a/NEWS Thu Nov 11 12:44:08 1999 +0100
1.2 +++ b/NEWS Thu Nov 11 16:14:50 1999 +0100
1.3 @@ -2,9 +2,18 @@
1.4 Isabelle NEWS -- history user-relevant changes
1.5 ==============================================
1.6
1.7 +*** Overview of INCOMPATIBILITIES (see below for more details) ***
1.8 +
1.9 +* HOL: the constant for f``x is now "image" rather than "op ``".
1.10 +
1.11 +
1.12 New in this Isabelle version
1.13 ----------------------------
1.14
1.15 +*** HOL ***
1.16 +
1.17 +* Algebra: new theory of rings and univariate polynomials, by Clemens Ballarin
1.18 +
1.19
1.20 New in Isabelle99 (October 1999)
1.21 --------------------------------