| changeset 27016 | dfc4171b7b8b |
| parent 27010 | 4856b752a57c |
| child 27635 | 66fcb7e9baef |
--- a/Admin/CHECKLIST Thu May 29 22:45:33 2008 +0200 +++ b/Admin/CHECKLIST Thu May 29 23:46:36 2008 +0200 @@ -1,7 +1,7 @@ Checklist for official releases =============================== -- test alice, mosml, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin; +- test alice, mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin; - test ProofGeneral;