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.
scala-2.9.2 is still supported;
authorwenzelm
Thu, 10 Jan 2013 13:02:36 +0100
changeset 50802 7a7e8958b6ef
parent 50801 b8ff6d1ee56c
child 50803 8a1ea6b00ace
scala-2.9.2 is still supported;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Thu Jan 10 13:02:06 2013 +0100
+++ b/Admin/Release/CHECKLIST	Thu Jan 10 13:02:36 2013 +0100
@@ -7,6 +7,8 @@
 
 - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
 
+- test scala-2.9.2;
+
 - test Proof General 4.1, 3.7.1.1;
 
 - check HTML header of library;
isabelle