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.

     2.1 --- a/Admin/make_everything	Wed Sep 21 19:16:16 2005 +0200
     2.2 +++ b/Admin/make_everything	Wed Sep 21 20:16:34 2005 +0200
     2.3 @@ -16,7 +16,7 @@
     2.4  REPOS=~/isabelle/src
     2.5  DIST=~/tmp/isadist
     2.6  
     2.7 -$REPOS/Admin/makedist ${1:---}
     2.8 +$REPOS/Admin/makedist ${1:--}
     2.9  ISABELLE_DIST=$(cat $DIST/ISABELLE_DIST)
    2.10  
    2.11  case $(hostname) in

     3.1 --- a/CONTRIBUTORS	Wed Sep 21 19:16:16 2005 +0200
     3.2 +++ b/CONTRIBUTORS	Wed Sep 21 20:16:34 2005 +0200
     3.3 @@ -53,9 +53,9 @@
     3.4    Improved version of HOL presburger method.
     3.5  
     3.6  * 2004/2005: Steven Obua, TUM
     3.7 -  Pure/defs: more sophisticated checks on well-formedness of overloading.
     3.8    Improved version of HOL/Import, support for HOL-Light.
     3.9    Improved version of HOL-Complex-Matrix.
    3.10 +  Pure/defs: more sophisticated checks on well-formedness of overloading.
    3.11    Pure/Tools: an experimental evaluator for lambda terms.
    3.12  
    3.13  * 2004/2005: Norbert Schirmer, TUM