diff -r d7f78036546b -r c98508731bd6 ANNOUNCE
--- a/ANNOUNCE	Tue Sep 27 17:14:27 2005 +0200
+++ b/ANNOUNCE	Tue Sep 27 17:24:27 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 highlights are:
+notable features are:
 
 * Interpretation of locale expressions in theories, locales, and proof
 contexts.
@@ -23,6 +23,9 @@
 
 * 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: