author | wenzelm |
Fri, 11 Jan 2002 18:49:25 +0100 | |
changeset 12724 | beedc794bd67 |
parent 12723 | 0451211bf4a0 |
child 12725 | 7ede865e1fe5 |
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