equal
deleted
inserted
replaced
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, 4.0, 3.7.1.1; |
6 - test Proof General 4.1, 3.7.1.1; |
7 |
|
8 - test Scala wrapper; |
|
9 |
7 |
10 - check HTML header of library; |
8 - check HTML header of library; |
11 |
9 |
12 - check CTRL-C, SIGINT in tty (also for external processes); |
10 - check CTRL-C, SIGINT in tty (also for external processes); |
13 |
11 |