Admin/CHECKLIST
author paulson
Tue, 10 Feb 2004 12:02:11 +0100
changeset 14378 69c4d5997669
parent 13447 3470596f3cd5
child 15808 cbe7ec0cdeb9
permissions -rw-r--r--
generic of_nat and of_int functions, and generalization of iszero and neg


Checklist for official releases
===============================

- make sure that etc/isar-keywords.el and etc/isar-keywords-ZF.el are
up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and
``ProofGeneral.write_keywords "ZF"'';

- check ANNOUNCE, README, INSTALL, NEWS, Admin/page;

- run tests with *all* supported ML systems (yes this is tedious!);

- maintain Docs:
    Doc/Contents
    Distribution/doc/Contents
    Admin/index.html

- maintain Logics:
    Admin/makedist
    Distribution/build
    Distribution/lib/Tools/makeall
    Distribution/lib/html/index1.html
    Distribution/lib/html/index2.html
    Doc/Logics/intro.tex
    Doc/Logics/logics.tex

$Id$