Admin/CHECKLIST
author berghofe
Mon Feb 03 11:44:23 2003 +0100 (2003-02-03)
changeset 13803 84cb1ff80f25
parent 13447 3470596f3cd5
child 15808 cbe7ec0cdeb9
permissions -rw-r--r--
Fill in version information in lib/Tools/version.
     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$