| author | paulson |
| Tue, 13 Jun 2006 15:07:58 +0200 | |
| changeset 19870 | ef037d1b32d1 |
| parent 16328 | 49c1f9dedc56 |
| child 24619 | c2e6a0f8c30b |
| permissions | -rw-r--r-- |
| 13447 | 1 |
Checklist for official releases |
2 |
=============================== |
|
3 |
||
4 |
- make sure that etc/isar-keywords.el and etc/isar-keywords-ZF.el are |
|
| 16328 | 5 |
up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and |
6 |
``ProofGeneral.write_keywords "ZF"''; |
|
| 13447 | 7 |
|
| 16328 | 8 |
- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, Admin/website; |
| 13447 | 9 |
|
10 |
- run tests with *all* supported ML systems (yes this is tedious!); |
|
11 |
||
12 |
- maintain Docs: |
|
13 |
Doc/Contents |
|
14 |
Distribution/doc/Contents |
|
15 |
Admin/index.html |
|
16 |
||
17 |
- maintain Logics: |
|
18 |
Admin/makedist |
|
19 |
Distribution/build |
|
20 |
Distribution/lib/Tools/makeall |
|
|
15808
cbe7ec0cdeb9
updated, added Admin/page after-release maintenance
kleing
parents:
13447
diff
changeset
|
21 |
Distribution/lib/html/index.html |
| 13447 | 22 |
Doc/Logics/intro.tex |
23 |
Doc/Logics/logics.tex |
|
24 |
||
|
15808
cbe7ec0cdeb9
updated, added Admin/page after-release maintenance
kleing
parents:
13447
diff
changeset
|
25 |
- after release: |
| 16328 | 26 |
commit new Admin/website/include/documentationdist.include.html to CVS |
27 |
[ commit new Admin/website/conf/distname.mak to CVS |
|
28 |
!!! this is currently not part of CVS, so ignore this description; |
|
29 |
!!! perhaps we will need to add it |
|
|
15808
cbe7ec0cdeb9
updated, added Admin/page after-release maintenance
kleing
parents:
13447
diff
changeset
|
30 |
|
| 13447 | 31 |
$Id$ |