equal
deleted
inserted
replaced
1 Checklist for official releases |
1 Checklist for official releases |
2 =============================== |
2 =============================== |
3 |
3 |
4 - make sure that etc/isar-keywords.el and etc/isar-keywords-ZF.el are |
4 - Admin/update-keywords; |
5 up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and |
|
6 ``ProofGeneral.write_keywords "ZF"''; |
|
7 |
5 |
8 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, Admin/website; |
6 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website; |
9 |
7 |
10 - run tests with *all* supported ML systems (yes this is tedious!); |
8 - run tests with all supported ML systems; |
11 |
9 |
12 - maintain Docs: |
10 - maintain Docs: |
13 Doc/Contents |
11 Doc/Contents |
14 Distribution/doc/Contents |
12 Distribution/doc/Contents |
15 Admin/index.html |
13 Admin/index.html |
21 Distribution/lib/html/index.html |
19 Distribution/lib/html/index.html |
22 Doc/Logics/intro.tex |
20 Doc/Logics/intro.tex |
23 Doc/Logics/logics.tex |
21 Doc/Logics/logics.tex |
24 |
22 |
25 - after release: |
23 - after release: |
26 commit new Admin/website/include/documentationdist.include.html to CVS |
24 commit new ~isabelle/website/include/documentationdist.include.html to CVS |
27 !!! commit new Admin/website/conf/distname.mak to CVS |
25 !!! commit new Admin/website/conf/distname.mak to CVS |
28 !!! this is currently not part of CVS, so ignore this description; |
26 !!! this is currently not part of CVS, so ignore this description; |
29 !!! perhaps we will need to add it |
27 !!! perhaps we will need to add it |
30 |
28 |
31 $Id$ |
29 $Id$ |