changeset 40781 | ba5be5c3d477 |
parent 40779 | 24851517ef15 |
child 41446 | 92facb553823 |
--- 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;