Admin/CHECKLIST
author kleing
Fri Apr 22 01:38:13 2005 +0200 (2005-04-22)
changeset 15808 cbe7ec0cdeb9
parent 13447 3470596f3cd5
child 16328 49c1f9dedc56
permissions -rw-r--r--
updated, added Admin/page after-release maintenance
     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/index.html
    23     Doc/Logics/intro.tex
    24     Doc/Logics/logics.tex
    25 
    26 - after release: 
    27   update Admin/page/DISTNAME and Admin/page/Contents in CVS
    28 
    29 $Id$