1.1 --- a/Admin/CHECKLIST	Sun Mar 01 16:22:37 2009 +0100
     1.2 +++ b/Admin/CHECKLIST	Sun Mar 01 16:48:06 2009 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  Checklist for official releases
     1.5  ===============================
     1.6  
     1.7 -- test alice, mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;
     1.8 +- test mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;
     1.9  
    1.10  - test ProofGeneral;
    1.11