1.1 --- a/Admin/Release/CHECKLIST	Thu Jan 10 13:02:06 2013 +0100
     1.2 +++ b/Admin/Release/CHECKLIST	Thu Jan 10 13:02:36 2013 +0100
     1.3 @@ -7,6 +7,8 @@
     1.4  
     1.5  - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
     1.6  
     1.7 +- test scala-2.9.2;
     1.8 +
     1.9  - test Proof General 4.1, 3.7.1.1;
    1.10  
    1.11  - check HTML header of library;