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.
check NEWS;
authorwenzelm
Wed, 12 May 2010 14:02:19 +0200
changeset 36860 d9338f121406
parent 36859 51af1657263b
child 36861 015bd9d4fd85
check NEWS;
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Wed May 12 13:54:49 2010 +0200
+++ b/Admin/CHECKLIST	Wed May 12 14:02:19 2010 +0200
@@ -19,6 +19,8 @@
 
 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;
 
+- diff NEWS wrt. last official release, which is read-only;
+
 - update https://isabelle.in.tum.de/repos/website;
 
 - maintain Docs:
isabelle