Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comment;
authorwenzelm
Thu, 27 Feb 1997 13:44:55 +0100
changeset 2686 351c45bb338d
parent 2685 8b3a214125f7
child 2687 b7c86d3c9d0a
tuned comment;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Thu Feb 27 12:10:28 1997 +0100
+++ b/Admin/makedist	Thu Feb 27 13:44:55 1997 +0100
@@ -34,6 +34,7 @@
 
     * Check that README files are up to date (should have Id: lines).
     * Check that Pure/ROOT.ML/version is up to date!
+    * Check release name and date in NEWS!
     * Make sure that the repository version of Doc is consistent
       (watch out for *.bbl, *.rao, *.ind)!
 EOF
isabelle