--- 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