Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/makedist
changeset 5817 02f4ff005a78
parent 5769 6a422b22ba02
child 6296 9da8f9262c4c 
--- a/Admin/makedist	Mon Nov 09 11:25:24 1998 +0100
+++ b/Admin/makedist	Mon Nov 09 12:27:41 1998 +0100
@@ -31,6 +31,7 @@
 
   Checklist for official releases (before running this script):
 
+    * Check release name and date in NEWS!
     * Check that README files are up to date (should have Id: lines).
     * Check Admin/index.html.
     * Make sure that encoding info is consistent (fixencoding)!
isabelle