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 3.7.1.1, 4.0; |
6 - test Proof General 3.7.1.1/4.0 xor 4.1; |
7 |
7 |
8 - test Scala wrapper; |
8 - test Scala wrapper; |
9 |
9 |
10 - check HTML header of library; |
10 - check HTML header of library; |
11 |
11 |
14 - check persistent sessions with PG and Poly/ML 5.x; |
14 - check persistent sessions with PG and Poly/ML 5.x; |
15 |
15 |
16 - Admin/update-keywords; |
16 - Admin/update-keywords; |
17 |
17 |
18 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
18 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
|
19 |
|
20 - check Admin/contributed_components; |
19 |
21 |
20 - diff NEWS wrt. last official release, which is read-only; |
22 - diff NEWS wrt. last official release, which is read-only; |
21 |
23 |
22 - update https://isabelle.in.tum.de/repos/website; |
24 - update https://isabelle.in.tum.de/repos/website; |
23 |
25 |