--- 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: