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;
authorwenzelm
Wed, 08 Apr 2015 11:52:35 +0200
changeset 59952 550b74e9b08c
parent 59951 8c49daca5d9f
child 59953 3d207f8f40dd
tuned;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Wed Apr 08 11:13:53 2015 +0200
+++ b/Admin/Release/CHECKLIST	Wed Apr 08 11:52:35 2015 +0200
@@ -1,7 +1,7 @@
 Checklist for official releases
 ===============================
 
-- check latest polyml, smlnj, jdk, scala, jedit;
+- check latest updates of polyml, smlnj, jdk, scala, jedit;
 
 - check Admin/components;
isabelle