equal
deleted
inserted
replaced
|
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 |
|
22 Distribution/lib/html/index1.html |
|
23 Distribution/lib/html/index2.html |
|
24 Doc/Logics/intro.tex |
|
25 Doc/Logics/logics.tex |
|
26 |
|
27 $Id$ |