changeset 31308 | 3fd52453ae81 |
parent 30888 | a8f9e12d815e |
child 33841 | 6508d0e8bb19 |
31307:7015fee8c3e8 | 31308:3fd52453ae81 |
---|---|
1 Checklist for official releases |
1 Checklist for official releases |
2 =============================== |
2 =============================== |
3 |
3 |
4 - test mosml, polyml-5.2, polyml-5.1, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, |
4 - test mosml, polyml-5.2, polyml-5.1, polyml-5.0; |
5 sparc-solaris, x86-solaris; |
5 |
6 - test sparc-solaris, x86-solaris; |
|
6 |
7 |
7 - test ProofGeneral; |
8 - test ProofGeneral; |
8 |
9 |
9 - test Scala wrapper; |
10 - test Scala wrapper; |
10 |
11 |