| changeset 37285 | 085cbd6a2a58 |
| parent 37161 | 1754a1c17426 |
| child 37368 | 1c816f2abb0e |
--- a/Admin/CHECKLIST Wed Jun 02 15:36:24 2010 +0200 +++ b/Admin/CHECKLIST Wed Jun 02 15:38:27 2010 +0200 @@ -1,7 +1,7 @@ Checklist for official releases =============================== -- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0; +- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0, smlnj; - test Proof General;