1.1 --- a/ANNOUNCE	Wed Sep 28 11:50:13 2005 +0200
     1.2 +++ b/ANNOUNCE	Wed Sep 28 11:50:14 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 features are:
     1.8 +highlights are:
     1.9  
    1.10  * Interpretation of locale expressions in theories, locales, and proof
    1.11  contexts.
    1.12 @@ -17,15 +17,12 @@
    1.13  * General 'find_theorems' command (by term patterns, as
    1.14  intro/elim/simp rules etc.).
    1.15  
    1.16 -* Commands for generating adhoc draft documents.
    1.17 +* Commands for generating ad-hoc draft documents.
    1.18  
    1.19  * Support for Unicode proof documents (UTF-8).
    1.20  
    1.21  * Major internal reorganizations and performance improvements.
    1.22  
    1.23 -* 'defs': more checks for overloading, but less checks for cyclic
    1.24 -dependencies!
    1.25 -
    1.26  
    1.27  You may get Isabelle2005 from the following mirror sites:
    1.28  

     2.1 --- a/Admin/website/index.html	Wed Sep 28 11:50:13 2005 +0200
     2.2 +++ b/Admin/website/index.html	Wed Sep 28 11:50:14 2005 +0200
     2.3 @@ -45,7 +45,7 @@
     2.4            </p>
     2.5  
     2.6          <h2>Now available: Isabelle 2005</h2>
     2.7 -         <p>Some notable features:</p>
     2.8 +         <p>Some highlights:</p>
     2.9                <ul>
    2.10  	      <li>Interpretation of locale expressions in theories, locales, and proof contexts.</li>
    2.11  	      <li>Substantial library improvements (HOL, HOL-Complex, HOLCF).</li>
    2.12 @@ -54,9 +54,6 @@
    2.13  	      <li>Commands for generating adhoc draft documents.</li>
    2.14  	      <li>Support for Unicode proof documents (UTF-8).</li>
    2.15  	      <li>Major internal reorganizations and performance improvements.</li>
    2.16 -              <li>More well-formedness checks of overloaded
    2.17 -                  definitions, but fails to recognize certain ill-formed definitions
    2.18 -                  that Isabelle2004 would have rejected outright!</li>
    2.19  	      </ul>
    2.20  
    2.21  <p><a href="//dist/Isabelle/NEWS">[Cumulative NEWS]</a></p>