Admin/CHECKLIST
changeset 41527 924106faa45f
parent 41446 92facb553823
child 41596 e424bc65080d
     1.1 --- a/Admin/CHECKLIST	Wed Jan 12 16:33:04 2011 +0100
     1.2 +++ b/Admin/CHECKLIST	Wed Jan 12 16:41:49 2011 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  
     1.5  - test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
     1.6  
     1.7 -- test Proof General 3.7.1.1/4.0 xor 4.1;
     1.8 +- test Proof General 4.1;
     1.9  
    1.10  - test Scala wrapper;
    1.11