# HG changeset patch
# User wenzelm
# Date 1127901015 -7200
# Node ID 541f6367a431523f8eebd982edde6fd7b9f28124
# Parent  6d277e731096af16304fb198a24e3f1de86c5f0b
avoid naming existing tags in explanations;

diff -r 6d277e731096 -r 541f6367a431 Admin/makedist
--- 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