# HG changeset patch
# User wenzelm
# Date 1127305437 -7200
# Node ID b4b8858580363b7644a9622d678a07160bf6b6ad
# Parent  70b4a28851932e0441560ceea15a2d5f3dfc95f0
tuned;

diff -r 70b4a2885193 -r b4b885858036 Admin/makedist
--- a/Admin/makedist	Wed Sep 21 14:05:47 2005 +0200
+++ b/Admin/makedist	Wed Sep 21 14:23:57 2005 +0200
@@ -35,7 +35,7 @@
 
   Make Isabelle distribution from the master sources at TUM.
 
-  VERSION may be either a tag like "Isabelle2005" that specifies the
+  VERSION may be either a tag like "Isabelle2003" 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 Isabelle2005 isabelle
+        cvs -d /usr/proj/isabelle-repository/archive rtag Isabelle2003 isabelle
       PLEASE DO NOT DO THIS UNLESS YOU KNOW WHAT YOU ARE DOING!
 
 EOF