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 2668 72a962676702
parent 2667 b2172eab9ba6
child 2686 351c45bb338d 
--- a/Admin/makedist	Thu Feb 20 17:02:42 1997 +0100
+++ b/Admin/makedist	Fri Feb 21 11:18:33 1997 +0100
@@ -32,7 +32,7 @@
 
   Checklist for official releases (before running this script):
 
-    * Check that README files are up to date (should have \$Id$ lines).
+    * Check that README files are up to date (should have Id: lines).
     * Check that Pure/ROOT.ML/version is up to date!
     * Make sure that the repository version of Doc is consistent
       (watch out for *.bbl, *.rao, *.ind)!
isabelle