| author | nipkow |
| Mon, 06 Jun 2005 21:20:54 +0200 | |
| changeset 16306 | 8117e2037d3b |
| parent 15808 | cbe7ec0cdeb9 |
| child 16328 | 49c1f9dedc56 |
| permissions | -rw-r--r-- |
| 13447 | 1 |
|
2 |
Checklist for official releases |
|
3 |
=============================== |
|
4 |
||
5 |
- make sure that etc/isar-keywords.el and etc/isar-keywords-ZF.el are |
|
6 |
up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and |
|
7 |
``ProofGeneral.write_keywords "ZF"''; |
|
8 |
||
9 |
- check ANNOUNCE, README, INSTALL, NEWS, Admin/page; |
|
10 |
||
11 |
- run tests with *all* supported ML systems (yes this is tedious!); |
|
12 |
||
13 |
- maintain Docs: |
|
14 |
Doc/Contents |
|
15 |
Distribution/doc/Contents |
|
16 |
Admin/index.html |
|
17 |
||
18 |
- maintain Logics: |
|
19 |
Admin/makedist |
|
20 |
Distribution/build |
|
21 |
Distribution/lib/Tools/makeall |
|
|
15808
cbe7ec0cdeb9
updated, added Admin/page after-release maintenance
kleing
parents:
13447
diff
changeset
|
22 |
Distribution/lib/html/index.html |
| 13447 | 23 |
Doc/Logics/intro.tex |
24 |
Doc/Logics/logics.tex |
|
25 |
||
|
15808
cbe7ec0cdeb9
updated, added Admin/page after-release maintenance
kleing
parents:
13447
diff
changeset
|
26 |
- after release: |
|
cbe7ec0cdeb9
updated, added Admin/page after-release maintenance
kleing
parents:
13447
diff
changeset
|
27 |
update Admin/page/DISTNAME and Admin/page/Contents in CVS |
|
cbe7ec0cdeb9
updated, added Admin/page after-release maintenance
kleing
parents:
13447
diff
changeset
|
28 |
|
| 13447 | 29 |
$Id$ |