--- a/Admin/makedist Wed Sep 28 11:50:14 2005 +0200
+++ b/Admin/makedist Wed Sep 28 11:50:15 2005 +0200
@@ -35,7 +35,7 @@
Make Isabelle distribution from the master sources at TUM.
- VERSION may be either a tag like "Isabelle2003" that specifies the
+ VERSION may be either a tag like "IsabelleXXXX" that specifies the
release to be exported from the repository, or "-" to checkout the
current sources as an unofficial release.
@@ -48,7 +48,7 @@
* Check ANNOUNCE, README.html, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS.
* Try "isatool makeall all" with Poly/ML, SML/NJ, etc.
* Tag the current repository version, e.g.:
- cvs -d /usr/proj/isabelle-repository/archive rtag Isabelle2003 isabelle
+ cvs -d /usr/proj/isabelle-repository/archive rtag IsabelleXXXX isabelle
PLEASE DO NOT DO THIS UNLESS YOU KNOW WHAT YOU ARE DOING!
EOF