# HG changeset patch
# User wenzelm
# Date 1015616379 -3600
# Node ID 04deb0c8dcbe73ac70fa33cc3443e331b0bdea81
# Parent  ce180e5b7fa056003791fff19cc5cefba193b135
tuned;

diff -r ce180e5b7fa0 -r 04deb0c8dcbe Admin/makedist
--- a/Admin/makedist	Fri Mar 08 16:24:06 2002 +0100
+++ b/Admin/makedist	Fri Mar 08 20:39:39 2002 +0100
@@ -45,7 +45,7 @@
 
   Make Isabelle distribution from the master sources at TUM.
 
-  VERSION may be either a tag like "Isabelle99-XX" that specifies the
+  VERSION may be either a tag like "Isabelle2002-XX" that specifies the
   release to be exported from the repository, or "-" to checkout the
   current sources as an unofficial release, or "--" to produce a
   tentative release from the present copy of the Isabelle repository.
@@ -56,7 +56,7 @@
     * Check ANNOUNCE, README, INSTALL, NEWS.
     * 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 Isabelle99-X isabelle
+        cvs -d /usr/proj/isabelle-repository/archive rtag Isabelle2002 isabelle
       PLEASE DO NOT DO THIS UNLESS YOU KNOW WHAT YOU ARE DOING!
 
 EOF