| changeset 27016 | dfc4171b7b8b |
| parent 27010 | 4856b752a57c |
| child 27635 | 66fcb7e9baef |
| 27015:f8537d69f514 | 27016:dfc4171b7b8b |
|---|---|
1 Checklist for official releases |
1 Checklist for official releases |
2 =============================== |
2 =============================== |
3 |
3 |
4 - test alice, mosml, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin; |
4 - test alice, 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 |