diff -r 8cc72452695c -r 6d277e731096 ANNOUNCE
--- a/ANNOUNCE	Wed Sep 28 11:50:13 2005 +0200
+++ b/ANNOUNCE	Wed Sep 28 11:50:14 2005 +0200
@@ -5,7 +5,7 @@
 
 This release provides substantial advances over Isabelle2004, see the
 first 1000 lines of NEWS in the distribution for more details.  Some
-notable features are:
+highlights are:
 
 * Interpretation of locale expressions in theories, locales, and proof
 contexts.
@@ -17,15 +17,12 @@
 * General 'find_theorems' command (by term patterns, as
 intro/elim/simp rules etc.).
 
-* Commands for generating adhoc draft documents.
+* Commands for generating ad-hoc draft documents.
 
 * Support for Unicode proof documents (UTF-8).
 
 * Major internal reorganizations and performance improvements.
 
-* 'defs': more checks for overloading, but less checks for cyclic
-dependencies!
-
 
 You may get Isabelle2005 from the following mirror sites: