|
wenzelm@13447
|
1 |
Checklist for official releases
|
|
wenzelm@13447
|
2 |
===============================
|
|
wenzelm@13447
|
3 |
|
|
wenzelm@25428
|
4 |
- test alice, mosml, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;
|
|
wenzelm@25428
|
5 |
|
|
wenzelm@25428
|
6 |
- test ProofGeneral;
|
|
wenzelm@25428
|
7 |
|
|
wenzelm@25428
|
8 |
- check HTML header of library;
|
|
wenzelm@25428
|
9 |
|
|
wenzelm@25428
|
10 |
- check CTRL-C, SIGINT in tty;
|
|
wenzelm@25428
|
11 |
|
|
wenzelm@25550
|
12 |
- check persistent sessions with PG and Poly/ML 5.1/5.0;
|
|
wenzelm@25550
|
13 |
|
|
wenzelm@24883
|
14 |
- Admin/update-keywords;
|
|
wenzelm@13447
|
15 |
|
|
haftmann@25214
|
16 |
- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
|
|
wenzelm@13447
|
17 |
|
|
wenzelm@13447
|
18 |
- maintain Docs:
|
|
wenzelm@13447
|
19 |
Doc/Contents
|
|
wenzelm@13447
|
20 |
Distribution/doc/Contents
|
|
haftmann@25236
|
21 |
Admin/index.html (? FIXME ?)
|
|
wenzelm@13447
|
22 |
|
|
wenzelm@13447
|
23 |
- maintain Logics:
|
|
wenzelm@13447
|
24 |
Admin/makedist
|
|
wenzelm@13447
|
25 |
Distribution/build
|
|
wenzelm@13447
|
26 |
Distribution/lib/Tools/makeall
|
|
kleing@15808
|
27 |
Distribution/lib/html/index.html
|
|
wenzelm@13447
|
28 |
Doc/Logics/intro.tex
|
|
wenzelm@13447
|
29 |
Doc/Logics/logics.tex
|
|
wenzelm@13447
|
30 |
|
|
kleing@15808
|
31 |
- after release:
|
|
haftmann@25214
|
32 |
commit new ~isabelle/website/include/documentationdist.include.html to website SVN
|
|
kleing@15808
|
33 |
|
|
wenzelm@13447
|
34 |
$Id$
|