tuned checklist; Isabelle98-1
authorwenzelm
Sun Oct 25 12:33:27 1998 +0100 (1998-10-25)
changeset 57696a422b22ba02
parent 5768 b00769ecda36
child 5770 e2600149f7f4
tuned checklist;
Admin/makedist
     1.1 --- a/Admin/makedist	Sat Oct 24 21:25:43 1998 +0200
     1.2 +++ b/Admin/makedist	Sun Oct 25 12:33:27 1998 +0100
     1.3 @@ -32,8 +32,7 @@
     1.4    Checklist for official releases (before running this script):
     1.5  
     1.6      * Check that README files are up to date (should have Id: lines).
     1.7 -    * Check that Pure/ROOT.ML/version is up to date!
     1.8 -    * Check release name and date in NEWS!
     1.9 +    * Check Admin/index.html.
    1.10      * Make sure that encoding info is consistent (fixencoding)!
    1.11      * Make sure that the repository version of Doc is consistent
    1.12        (watch out for *.bbl, *.rao, *.ind)!