NEWS

--- a/NEWS	Fri Dec 04 11:41:17 2009 +0100
+++ b/NEWS	Fri Dec 04 11:44:57 2009 +0100
@@ -1,6 +1,10 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle version
+----------------------------
+
+
 New in Isabelle2009-1 (December 2009)
 -------------------------------------