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;
wenzelm@13447
     1
Checklist for official releases
wenzelm@13447
     2
===============================
wenzelm@13447
     3
wenzelm@30189
     4
- test mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;
wenzelm@25428
     5
wenzelm@25428
     6
- test ProofGeneral;
wenzelm@25428
     7
wenzelm@25428
     8
- check HTML header of library;
wenzelm@25428
     9
wenzelm@27010
    10
- check CTRL-C, SIGINT in tty (also for external processes);
wenzelm@25428
    11
wenzelm@27010
    12
- check persistent sessions with PG and Poly/ML 5.x;
wenzelm@25550
    13
wenzelm@24883
    14
- Admin/update-keywords;
wenzelm@13447
    15
haftmann@25214
    16
- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
wenzelm@13447
    17
wenzelm@13447
    18
- maintain Docs:
wenzelm@28956
    19
    doc-src/Dirs
wenzelm@28956
    20
    doc/Contents
wenzelm@13447
    21
wenzelm@13447
    22
- maintain Logics:
wenzelm@28956
    23
    build
wenzelm@28956
    24
    lib/Tools/makeall
wenzelm@30852
    25
    lib/html/library_index_content.template
wenzelm@13447
    26
kleing@15808
    27
- after release: 
haftmann@25214
    28
    commit new ~isabelle/website/include/documentationdist.include.html to website SVN
kleing@15808
    29