# HG changeset patch
# User wenzelm
# Date 1014583511 -3600
# Node ID b7c916bf3332535510080d9b5014d6d0ce05cee1
# Parent  cd0dd6e0bf5ce82670a7d9662981f4ef4aa46eed
tuned;

diff -r cd0dd6e0bf5c -r b7c916bf3332 ANNOUNCE
--- a/ANNOUNCE	Sun Feb 24 21:44:43 2002 +0100
+++ b/ANNOUNCE	Sun Feb 24 21:45:11 2002 +0100
@@ -1,8 +1,13 @@
 
-Subject: Announcing Isabelle2001
+Subject: Announcing Isabelle2002
 To: isabelle-users@cl.cam.ac.uk
 
-Isabelle2001 is now available.
+Isabelle2002 is now available.
+
+This release clarifies long-standing issues at large, providing of
+more comfortable and robust environment.
+
+In this release a lot of important issues of existing concepts 
 
 The most prominent highlights of Isabelle2001 are as follows.  See the
 NEWS file distributed with Isabelle for more details.