Admin/CHECKLIST
author nipkow
Wed Aug 04 11:25:08 2004 +0200 (2004-08-04)
changeset 15106 e8cef6993701
parent 13447 3470596f3cd5
child 15808 cbe7ec0cdeb9
permissions -rw-r--r--
aded comment
     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$