|
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
|
|
|
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$
|