# HG changeset patch
# User wenzelm
# Date 1240223191 -7200
# Node ID cc6a6047a10fe7ca7344a85dc329ecb3b09ea4f0
# Parent  0b960d9c5317eced94bac85e1922f5875075614b
back to non-release mode;

diff -r 0b960d9c5317 -r cc6a6047a10f NEWS
--- a/NEWS	Sun Apr 19 17:27:43 2009 +0200
+++ b/NEWS	Mon Apr 20 12:26:31 2009 +0200
@@ -1,6 +1,11 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle version
+----------------------------
+
+
+
 New in Isabelle2009 (April 2009)
 --------------------------------