--- a/ANNOUNCE Wed Sep 21 19:16:16 2005 +0200
+++ b/ANNOUNCE Wed Sep 21 20:16:34 2005 +0200
@@ -3,9 +3,9 @@
Isabelle2005 is now available.
-This release provides substantial advances over Isabelle2004. Some
-highlights are as follows (see the NEWS of the distribution for more
-details):
+This release provides substantial advances over Isabelle2004, see the
+first 1000 lines of NEWS in the distribution for more details. Some
+notable highlights are:
* Interpretation of locale expressions in theories, locales, and proof
contexts.
--- a/Admin/make_everything Wed Sep 21 19:16:16 2005 +0200
+++ b/Admin/make_everything Wed Sep 21 20:16:34 2005 +0200
@@ -16,7 +16,7 @@
REPOS=~/isabelle/src
DIST=~/tmp/isadist
-$REPOS/Admin/makedist ${1:---}
+$REPOS/Admin/makedist ${1:--}
ISABELLE_DIST=$(cat $DIST/ISABELLE_DIST)
case $(hostname) in
--- a/CONTRIBUTORS Wed Sep 21 19:16:16 2005 +0200
+++ b/CONTRIBUTORS Wed Sep 21 20:16:34 2005 +0200
@@ -53,9 +53,9 @@
Improved version of HOL presburger method.
* 2004/2005: Steven Obua, TUM
- Pure/defs: more sophisticated checks on well-formedness of overloading.
Improved version of HOL/Import, support for HOL-Light.
Improved version of HOL-Complex-Matrix.
+ Pure/defs: more sophisticated checks on well-formedness of overloading.
Pure/Tools: an experimental evaluator for lambda terms.
* 2004/2005: Norbert Schirmer, TUM