fixed date;
authorwenzelm
Thu Feb 28 21:30:26 2002 +0100 (2002-02-28)
changeset 129846071200efbf6
parent 12983 7d13480ee668
child 12985 9db054a40247
fixed date;
NEWS
     1.1 --- a/NEWS	Thu Feb 28 21:30:03 2002 +0100
     1.2 +++ b/NEWS	Thu Feb 28 21:30:26 2002 +0100
     1.3 @@ -2,8 +2,8 @@
     1.4  Isabelle NEWS -- history user-relevant changes
     1.5  ==============================================
     1.6  
     1.7 -New in Isabelle2002 (January 2002)
     1.8 -----------------------------------
     1.9 +New in Isabelle2002 (March 2002)
    1.10 +--------------------------------
    1.11  
    1.12  *** Document preparation ***
    1.13