1 Checklist for official releases |
1 Checklist for official releases |
2 =============================== |
2 =============================== |
3 |
3 |
4 - test 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.2, polyml-5.1, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, |
|
5 sparc-solaris, x86-solaris; |
5 |
6 |
6 - test ProofGeneral; |
7 - test ProofGeneral; |
|
8 |
|
9 - test Scala wrapper; |
7 |
10 |
8 - check HTML header of library; |
11 - check HTML header of library; |
9 |
12 |
10 - check CTRL-C, SIGINT in tty (also for external processes); |
13 - check CTRL-C, SIGINT in tty (also for external processes); |
11 |
14 |
12 - check persistent sessions with PG and Poly/ML 5.x; |
15 - check persistent sessions with PG and Poly/ML 5.x; |
13 |
16 |
14 - Admin/update-keywords; |
17 - Admin/update-keywords; |
15 |
18 |
16 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website; |
19 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS; |
|
20 |
|
21 - update https://isabelle.in.tum.de/repos/website; |
17 |
22 |
18 - maintain Docs: |
23 - maintain Docs: |
19 doc-src/Dirs |
24 doc-src/Dirs |
20 doc/Contents |
25 doc/Contents |
21 |
26 |
22 - maintain Logics: |
27 - maintain Logics: |
23 build |
28 build |
24 lib/Tools/makeall |
29 lib/Tools/makeall |
25 lib/html/library_index_content.template |
30 lib/html/library_index_content.template |
26 |
31 |
27 - after release: |
|
28 commit new ~isabelle/website/include/documentationdist.include.html to website SVN |
|
29 |
|