Admin/CHECKLIST
changeset 41527 924106faa45f
parent 41446 92facb553823
child 41596 e424bc65080d
equal deleted inserted replaced
41526:54b4686704af 41527:924106faa45f
     1 Checklist for official releases
     1 Checklist for official releases
     2 ===============================
     2 ===============================
     3 
     3 
     4 - test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
     4 - test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
     5 
     5 
     6 - test Proof General 3.7.1.1/4.0 xor 4.1;
     6 - test Proof General 4.1;
     7 
     7 
     8 - test Scala wrapper;
     8 - test Scala wrapper;
     9 
     9 
    10 - check HTML header of library;
    10 - check HTML header of library;
    11 
    11