diff -r 2c3d0cb151c0 -r aafd4270b4d4 NEWS
--- a/NEWS	Sun Jan 20 15:26:56 2013 +0100
+++ b/NEWS	Sun Jan 20 15:34:27 2013 +0100
@@ -1,6 +1,10 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle version
+----------------------------
+
+
 New in Isabelle2013 (February 2013)
 -----------------------------------