# HG changeset patch
# User wenzelm
# Date 942400648 -3600
# Node ID 4a687092b2014b05f4162ebe5eb1701d578d706a
# Parent  fdf1281a3d0c802245be7ed226b1d5f0942a007a
tuned;

diff -r fdf1281a3d0c -r 4a687092b201 NEWS
--- 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)
 --------------------------------