1.1 --- a/ANNOUNCE	Tue Sep 27 17:14:27 2005 +0200
     1.2 +++ b/ANNOUNCE	Tue Sep 27 17:24:27 2005 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  
     1.5  This release provides substantial advances over Isabelle2004, see the
     1.6  first 1000 lines of NEWS in the distribution for more details.  Some
     1.7 -notable highlights are:
     1.8 +notable features are:
     1.9  
    1.10  * Interpretation of locale expressions in theories, locales, and proof
    1.11  contexts.
    1.12 @@ -23,6 +23,9 @@
    1.13  
    1.14  * Major internal reorganizations and performance improvements.
    1.15  
    1.16 +* 'defs': more checks for overloading, but less checks for cyclic
    1.17 +dependencies!
    1.18 +
    1.19  
    1.20  You may get Isabelle2005 from the following mirror sites:
    1.21