| changeset 30189 | 3633f560f4c3 |
| parent 28956 | 64754369cee3 |
| child 30852 | 59a422908e29 |
--- a/Admin/CHECKLIST Sun Mar 01 16:22:37 2009 +0100 +++ b/Admin/CHECKLIST Sun Mar 01 16:48:06 2009 +0100 @@ -1,7 +1,7 @@ Checklist for official releases =============================== -- test alice, mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin; +- test mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin; - test ProofGeneral;