# HG changeset patch
# User wenzelm
# Date 1194969856 -3600
# Node ID 9e14fbd43e6bbaaea67c25ff5fe571151550892f
# Parent  95c0b4dc600be5f2b2d18cae3955886e67b29474
tuned;

diff -r 95c0b4dc600b -r 9e14fbd43e6b NEWS
--- a/NEWS	Tue Nov 13 16:24:03 2007 +0100
+++ b/NEWS	Tue Nov 13 17:04:16 2007 +0100
@@ -1,8 +1,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
-New in Isabelle2007
--------------------
+New in Isabelle2007 (November 2007)
+-----------------------------------
 
 *** General ***
 
@@ -106,7 +106,6 @@
 arguments may be given on the LHS.)
 
 
-
 *** Pure ***
 
 * The 'class' package offers a combination of axclass and locale to
@@ -1129,7 +1128,6 @@
 in particular multiple inheritance and renaming of components.
 
 
-
 *** HOL-Complex ***
 
 * Hyperreal: Functions root and sqrt are now defined on negative real