# HG changeset patch
# User wenzelm
# Date 1014928226 -3600
# Node ID 6071200efbf688c7878beadfa025d7b40a5a85e3
# Parent  7d13480ee668587790e17c188722d53b072c5cf8
fixed date;

diff -r 7d13480ee668 -r 6071200efbf6 NEWS
--- a/NEWS	Thu Feb 28 21:30:03 2002 +0100
+++ b/NEWS	Thu Feb 28 21:30:26 2002 +0100
@@ -2,8 +2,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
-New in Isabelle2002 (January 2002)
-----------------------------------
+New in Isabelle2002 (March 2002)
+--------------------------------
 
 *** Document preparation ***