NEWS
changeset 50993 2c3d0cb151c0
parent 50991 b3c6c9ef11b8
child 50994 aafd4270b4d4
child 51050 7d0c5799e16c
--- a/NEWS	Sun Jan 20 14:05:37 2013 +0100
+++ b/NEWS	Sun Jan 20 15:26:56 2013 +0100
@@ -1,8 +1,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2013 (February 2013)
+-----------------------------------
 
 *** General ***