Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Admin/CHECKLIST
author wenzelm
Sun, 01 Mar 2009 16:48:06 +0100
changeset 30189 3633f560f4c3
parent 28956 64754369cee3
child 30852 59a422908e29
permissions -rw-r--r--
discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway; 
     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     Admin/makedist

    24     build

    25     lib/Tools/makeall

    26     lib/html/index.html

    27     doc-src/Logics/intro.tex

    28     doc-src/Logics/logics.tex

    29 

    30 - after release: 

    31     commit new ~isabelle/website/include/documentationdist.include.html to website SVN

    32
wneuper/isa