diff -r 4f75f2c58123 -r 4856b752a57c ANNOUNCE
--- a/ANNOUNCE	Wed May 28 23:33:51 2008 +0200
+++ b/ANNOUNCE	Wed May 28 23:36:19 2008 +0200
@@ -6,12 +6,12 @@
 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 version of HOL 'primrec' supporting type-inference and local
+theory targets.
 
-* New local theory targets for class instantiation and unrestricted
-overloading.
+* New local theory targets for class instantiation and overloading.
 
-* Support for dynamic lists of named theorems.
+* Support for named dynamic lists of theorems.
 
 * Significant speedup of Metis prover, with proper support for
 multithreading.