|
wenzelm@13447
|
1 |
Checklist for official releases
|
|
wenzelm@13447
|
2 |
===============================
|
|
wenzelm@13447
|
3 |
|
|
wenzelm@36865
|
4 |
- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0;
|
|
wenzelm@31308
|
5 |
|
|
wenzelm@31308
|
6 |
- test sparc-solaris, x86-solaris;
|
|
wenzelm@25428
|
7 |
|
|
wenzelm@33841
|
8 |
- test Proof General;
|
|
wenzelm@25428
|
9 |
|
|
wenzelm@30888
|
10 |
- test Scala wrapper;
|
|
wenzelm@30888
|
11 |
|
|
wenzelm@25428
|
12 |
- check HTML header of library;
|
|
wenzelm@25428
|
13 |
|
|
wenzelm@27010
|
14 |
- check CTRL-C, SIGINT in tty (also for external processes);
|
|
wenzelm@25428
|
15 |
|
|
wenzelm@27010
|
16 |
- check persistent sessions with PG and Poly/ML 5.x;
|
|
wenzelm@25550
|
17 |
|
|
wenzelm@24883
|
18 |
- Admin/update-keywords;
|
|
wenzelm@13447
|
19 |
|
|
wenzelm@30888
|
20 |
- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;
|
|
wenzelm@30888
|
21 |
|
|
wenzelm@36867
|
22 |
- diff NEWS wrt. last official release, which is read-only;
|
|
wenzelm@36867
|
23 |
|
|
wenzelm@30888
|
24 |
- update https://isabelle.in.tum.de/repos/website;
|
|
wenzelm@13447
|
25 |
|
|
wenzelm@13447
|
26 |
- maintain Docs:
|
|
wenzelm@28956
|
27 |
doc-src/Dirs
|
|
wenzelm@28956
|
28 |
doc/Contents
|
|
wenzelm@13447
|
29 |
|
|
wenzelm@13447
|
30 |
- maintain Logics:
|
|
wenzelm@28956
|
31 |
build
|
|
wenzelm@28956
|
32 |
lib/Tools/makeall
|
|
wenzelm@30852
|
33 |
lib/html/library_index_content.template
|
|
wenzelm@13447
|
34 |
|