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.
updated versions;
authorwenzelm
Sun, 28 Nov 2010 14:01:20 +0100
changeset 40781 ba5be5c3d477
parent 40780 1cabd6f4a718
child 40782 aa533c5e3f48
child 40787 d122dce6562d
updated versions;
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Sun Nov 28 13:58:29 2010 +0100
+++ b/Admin/CHECKLIST	Sun Nov 28 14:01:20 2010 +0100
@@ -1,9 +1,9 @@
 Checklist for official releases
 ===============================
 
-- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0, smlnj;
+- test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
 
-- test Proof General;
+- test Proof General 3.7.1.1, 4.0;
 
 - test Scala wrapper;
isabelle