NEWS
changeset 12724 beedc794bd67
parent 12707 4013be8572c5
child 12728 4ed8ab7d677d
     1.1 --- a/NEWS	Fri Jan 11 18:07:45 2002 +0100
     1.2 +++ b/NEWS	Fri Jan 11 18:49:25 2002 +0100
     1.3 @@ -2,8 +2,8 @@
     1.4  Isabelle NEWS -- history user-relevant changes
     1.5  ==============================================
     1.6  
     1.7 -New in Isabelle2001 (December 2001)
     1.8 ------------------------------------
     1.9 +New in Isabelle2002 (January 2002)
    1.10 +----------------------------------
    1.11  
    1.12  *** Document preparation ***
    1.13