changeset 41598 | 2049f179aa21 |
parent 41596 | e424bc65080d |
child 41600 | 46d65140c5de |
41597:ced4f78bb728 | 41598:2049f179aa21 |
---|---|
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 4.1; |
6 - test Proof General 4.1, 4.0, 3.7.1.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 |