| changeset 31308 | 3fd52453ae81 |
| parent 30888 | a8f9e12d815e |
| child 33841 | 6508d0e8bb19 |
--- a/Admin/CHECKLIST Sat May 30 22:37:38 2009 +0200 +++ b/Admin/CHECKLIST Sun May 31 14:15:07 2009 +0200 @@ -1,8 +1,9 @@ Checklist for official releases =============================== -- test mosml, polyml-5.2, polyml-5.1, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, - sparc-solaris, x86-solaris; +- test mosml, polyml-5.2, polyml-5.1, polyml-5.0; + +- test sparc-solaris, x86-solaris; - test ProofGeneral;