| changeset 45147 | c23029f6357f |
| parent 45096 | 7a1302b22a11 |
| child 46729 | 046ea3c1000e |
--- a/Admin/CHECKLIST Sat Oct 15 00:18:00 2011 +0200 +++ b/Admin/CHECKLIST Sat Oct 15 15:55:10 2011 +0200 @@ -1,7 +1,7 @@ Checklist for official releases =============================== -- test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj; +- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj; - test Proof General 4.1, 3.7.1.1;