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.
added fixencoding note;
authorwenzelm
Thu, 17 Apr 1997 14:41:08 +0200
changeset 2970 4ed0b27e482d
parent 2969 4c8d60b01ef9
child 2971 c1e1e8406fb2
added fixencoding note;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Thu Apr 17 10:40:26 1997 +0200
+++ b/Admin/makedist	Thu Apr 17 14:41:08 1997 +0200
@@ -35,6 +35,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 encoding info is consistent (fixencoding)!
     * Make sure that the repository version of Doc is consistent
       (watch out for *.bbl, *.rao, *.ind)!
 EOF
isabelle