changeset 37285 | 085cbd6a2a58 |
parent 37161 | 1754a1c17426 |
child 37368 | 1c816f2abb0e |
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 |