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