ANNOUNCE
changeset 17692 6d277e731096
parent 17684 c98508731bd6
child 17696 eccdee8a0790
     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