# HG changeset patch
# User wenzelm
# Date 1212010395 -7200
# Node ID c1960cad50176de2ad7bf979d8cf8ae30fb51a5f
# Parent  6ca0c942a25c5641d7d92c7f539fd24cc61a025d
added some notable improvements;

diff -r 6ca0c942a25c -r c1960cad5017 ANNOUNCE
--- a/ANNOUNCE	Wed May 28 22:54:05 2008 +0200
+++ b/ANNOUNCE	Wed May 28 23:33:15 2008 +0200
@@ -3,10 +3,25 @@
 
 Isabelle2008 is now available.
 
-This release mostly consolidates Isabelle2007, see the NEWS file in
-the distribution for more details.  Some notable improvements are:
+This release consolidates Isabelle2007, see the NEWS file in the
+distribution for more details.  Some notable improvements are:
+
+* New version of HOL 'primrec' with local theory support.
+
+* New local theory targets for class instantiation and unrestricted
+overloading.
+
+* Support for dynamic lists of named theorems.
 
-* ...
+* Significant speedup of Metis prover, with proper support for
+multithreading.
+
+* Simple TTY interface with command-line editing.
+
+* Improved support for the Cygwin platform (Windows).
+
+* Support for Poly/ML 5.2 with improved handling of multithreading and
+external processes.
 
 
 You may get Isabelle2008 from the following mirror sites: