equal
deleted
inserted
replaced
1 |
|
2 Checklist for official releases |
1 Checklist for official releases |
3 =============================== |
2 =============================== |
4 |
3 |
5 - make sure that etc/isar-keywords.el and etc/isar-keywords-ZF.el are |
4 - 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 |
5 up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and |
7 ``ProofGeneral.write_keywords "ZF"''; |
6 ``ProofGeneral.write_keywords "ZF"''; |
8 |
7 |
9 - check ANNOUNCE, README, INSTALL, NEWS, Admin/page; |
8 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, Admin/website; |
10 |
9 |
11 - run tests with *all* supported ML systems (yes this is tedious!); |
10 - run tests with *all* supported ML systems (yes this is tedious!); |
12 |
11 |
13 - maintain Docs: |
12 - maintain Docs: |
14 Doc/Contents |
13 Doc/Contents |
22 Distribution/lib/html/index.html |
21 Distribution/lib/html/index.html |
23 Doc/Logics/intro.tex |
22 Doc/Logics/intro.tex |
24 Doc/Logics/logics.tex |
23 Doc/Logics/logics.tex |
25 |
24 |
26 - after release: |
25 - after release: |
27 update Admin/page/DISTNAME and Admin/page/Contents in CVS |
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 |
28 |
30 |
29 $Id$ |
31 $Id$ |