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
Sat, 21 Nov 2009 20:44:16 +0100
changeset 33841 6508d0e8bb19
parent 33840 f00a8956d6d0
child 33842 efa1b89c79e0
tuned;
Admin/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/CHECKLIST	Sat Nov 21 20:41:29 2009 +0100
+++ b/Admin/CHECKLIST	Sat Nov 21 20:44:16 2009 +0100
@@ -1,11 +1,11 @@
 Checklist for official releases
 ===============================
 
-- test mosml, polyml-5.2, polyml-5.1, polyml-5.0;
+- test mosml, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0;
 
 - test sparc-solaris, x86-solaris;
 
-- test ProofGeneral;
+- test Proof General;
 
 - test Scala wrapper;
isabelle