ANNOUNCE
changeset 12927 b7c916bf3332
parent 11600 bbd6268e0b4b
child 12964 2ac9265b2cd5
     1.1 --- a/ANNOUNCE	Sun Feb 24 21:44:43 2002 +0100
     1.2 +++ b/ANNOUNCE	Sun Feb 24 21:45:11 2002 +0100
     1.3 @@ -1,8 +1,13 @@
     1.4  
     1.5 -Subject: Announcing Isabelle2001
     1.6 +Subject: Announcing Isabelle2002
     1.7  To: isabelle-users@cl.cam.ac.uk
     1.8  
     1.9 -Isabelle2001 is now available.
    1.10 +Isabelle2002 is now available.
    1.11 +
    1.12 +This release clarifies long-standing issues at large, providing of
    1.13 +more comfortable and robust environment.
    1.14 +
    1.15 +In this release a lot of important issues of existing concepts 
    1.16  
    1.17  The most prominent highlights of Isabelle2001 are as follows.  See the
    1.18  NEWS file distributed with Isabelle for more details.