Admin/CHECKLIST
author wenzelm
Thu Apr 02 14:30:16 2009 +0200 (2009-04-02)
changeset 30852 59a422908e29
parent 30189 3633f560f4c3
child 30888 a8f9e12d815e
permissions -rw-r--r--
misc tuning for release;
     1 Checklist for official releases
     2 ===============================
     3 
     4 - test mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;
     5 
     6 - test ProofGeneral;
     7 
     8 - check HTML header of library;
     9 
    10 - check CTRL-C, SIGINT in tty (also for external processes);
    11 
    12 - check persistent sessions with PG and Poly/ML 5.x;
    13 
    14 - Admin/update-keywords;
    15 
    16 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
    17 
    18 - maintain Docs:
    19     doc-src/Dirs
    20     doc/Contents
    21 
    22 - maintain Logics:
    23     build
    24     lib/Tools/makeall
    25     lib/html/library_index_content.template
    26 
    27 - after release: 
    28     commit new ~isabelle/website/include/documentationdist.include.html to website SVN
    29