Admin/CHECKLIST
changeset 37285 085cbd6a2a58
parent 37161 1754a1c17426
child 37368 1c816f2abb0e
equal deleted inserted replaced
37284:a1b0201584cd 37285:085cbd6a2a58
     1 Checklist for official releases
     1 Checklist for official releases
     2 ===============================
     2 ===============================
     3 
     3 
     4 - test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0;
     4 - test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0, smlnj;
     5 
     5 
     6 - test Proof General;
     6 - test Proof General;
     7 
     7 
     8 - test Scala wrapper;
     8 - test Scala wrapper;
     9 
     9