ANNOUNCE
changeset 17572 81fcc0029761
parent 17544 929d157d4369
child 17684 c98508731bd6
     1.1 --- a/ANNOUNCE	Wed Sep 21 19:16:16 2005 +0200
     1.2 +++ b/ANNOUNCE	Wed Sep 21 20:16:34 2005 +0200
     1.3 @@ -3,9 +3,9 @@
     1.4  
     1.5  Isabelle2005 is now available.
     1.6  
     1.7 -This release provides substantial advances over Isabelle2004.  Some
     1.8 -highlights are as follows (see the NEWS of the distribution for more
     1.9 -details):
    1.10 +This release provides substantial advances over Isabelle2004, see the
    1.11 +first 1000 lines of NEWS in the distribution for more details.  Some
    1.12 +notable highlights are:
    1.13  
    1.14  * Interpretation of locale expressions in theories, locales, and proof
    1.15  contexts.