NEWS
changeset 12984 6071200efbf6
parent 12964 2ac9265b2cd5
child 13023 f869b6822006
--- 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 ***