| changeset 30189 | 3633f560f4c3 |
| parent 28956 | 64754369cee3 |
| child 30852 | 59a422908e29 |
| 30188:82144a95f9ec | 30189:3633f560f4c3 |
|---|---|
1 Checklist for official releases |
1 Checklist for official releases |
2 =============================== |
2 =============================== |
3 |
3 |
4 - test alice, mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin; |
4 - test mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin; |
5 |
5 |
6 - test ProofGeneral; |
6 - test ProofGeneral; |
7 |
7 |
8 - check HTML header of library; |
8 - check HTML header of library; |
9 |
9 |