1.1 --- a/Admin/CHECKLIST	Sun Nov 28 13:58:29 2010 +0100
     1.2 +++ b/Admin/CHECKLIST	Sun Nov 28 14:01:20 2010 +0100
     1.3 @@ -1,9 +1,9 @@
     1.4  Checklist for official releases
     1.5  ===============================
     1.6  
     1.7 -- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0, smlnj;
     1.8 +- test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
     1.9  
    1.10 -- test Proof General;
    1.11 +- test Proof General 3.7.1.1, 4.0;
    1.12  
    1.13  - test Scala wrapper;
    1.14