equal
deleted
inserted
replaced
1 Checklist for official releases |
1 Checklist for official releases |
2 =============================== |
2 =============================== |
|
3 |
|
4 - check latest polyml, smlnj, jdk, scala, jedit; |
|
5 |
|
6 - check Admin/components; |
3 |
7 |
4 - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj; |
8 - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj; |
5 |
9 |
6 - test Proof General 4.1, 3.7.1.1; |
10 - test Proof General 4.1, 3.7.1.1; |
7 |
11 |
11 |
15 |
12 - check persistent sessions with PG and Poly/ML 5.x; |
16 - check persistent sessions with PG and Poly/ML 5.x; |
13 |
17 |
14 - check file positions within logic images (hyperlinks etc.); |
18 - check file positions within logic images (hyperlinks etc.); |
15 |
19 |
16 - Admin/update-keywords; |
20 - isabelle update_keywords; |
17 |
21 |
18 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
22 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
19 |
|
20 - check Admin/components; |
|
21 |
23 |
22 - check funny base directory, e.g. "Test 中国"; |
24 - check funny base directory, e.g. "Test 中国"; |
23 |
25 |
24 - diff NEWS wrt. last official release, which is read-only; |
26 - diff NEWS wrt. last official release, which is read-only; |
25 |
27 |
27 |
29 |
28 - maintain Docs: |
30 - maintain Docs: |
29 doc/Contents |
31 doc/Contents |
30 |
32 |
31 - maintain Logics: |
33 - maintain Logics: |
32 etc/components |
34 ROOTS |
33 lib/html/library_index_content.template |
35 lib/html/library_index_content.template |
34 |
36 |
35 - test separate compilation of Isabelle/Scala PIDE sources: |
37 - test separate compilation of Isabelle/Scala PIDE sources: |
36 Admin/build jars_test |
38 Admin/build jars_test |
37 |
39 |