tuned;
authorwenzelm
Sun Feb 24 21:45:11 2002 +0100 (2002-02-24)
changeset 12927b7c916bf3332
parent 12926 cd0dd6e0bf5c
child 12928 6ffd206f93ee
tuned;
ANNOUNCE
     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.