Admin/CHECKLIST
changeset 13447 3470596f3cd5
child 15808 cbe7ec0cdeb9
equal deleted inserted replaced
13446:f0fdd0499dad 13447:3470596f3cd5
       
     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$