tuned;
authorwenzelm
Fri Mar 08 20:39:39 2002 +0100 (2002-03-08)
changeset 1305004deb0c8dcbe
parent 13049 ce180e5b7fa0
child 13051 8efb5d92cf55
tuned;
Admin/makedist
     1.1 --- a/Admin/makedist	Fri Mar 08 16:24:06 2002 +0100
     1.2 +++ b/Admin/makedist	Fri Mar 08 20:39:39 2002 +0100
     1.3 @@ -45,7 +45,7 @@
     1.4  
     1.5    Make Isabelle distribution from the master sources at TUM.
     1.6  
     1.7 -  VERSION may be either a tag like "Isabelle99-XX" that specifies the
     1.8 +  VERSION may be either a tag like "Isabelle2002-XX" that specifies the
     1.9    release to be exported from the repository, or "-" to checkout the
    1.10    current sources as an unofficial release, or "--" to produce a
    1.11    tentative release from the present copy of the Isabelle repository.
    1.12 @@ -56,7 +56,7 @@
    1.13      * Check ANNOUNCE, README, INSTALL, NEWS.
    1.14      * Try "isatool makeall all" with Poly/ML, SML/NJ, etc.
    1.15      * Tag the current repository version, e.g.:
    1.16 -        cvs -d /usr/proj/isabelle-repository/archive rtag Isabelle99-X isabelle
    1.17 +        cvs -d /usr/proj/isabelle-repository/archive rtag Isabelle2002 isabelle
    1.18        PLEASE DO NOT DO THIS UNLESS YOU KNOW WHAT YOU ARE DOING!
    1.19  
    1.20  EOF