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
Tue, 14 Apr 2009 12:27:18 +0200
changeset 30888 a8f9e12d815e
parent 30852 59a422908e29
child 31308 3fd52453ae81
permissions -rw-r--r--
misc updates for Isabelle2009; 
     1 Checklist for official releases

     2 ===============================

     3 

     4 - test mosml, polyml-5.2, polyml-5.1, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0,

     5   sparc-solaris, x86-solaris;

     6 

     7 - test ProofGeneral;

     8 

     9 - test Scala wrapper;

    10 

    11 - check HTML header of library;

    12 

    13 - check CTRL-C, SIGINT in tty (also for external processes);

    14 

    15 - check persistent sessions with PG and Poly/ML 5.x;

    16 

    17 - Admin/update-keywords;

    18 

    19 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;

    20 

    21 - update https://isabelle.in.tum.de/repos/website;

    22 

    23 - maintain Docs:

    24     doc-src/Dirs

    25     doc/Contents

    26 

    27 - maintain Logics:

    28     build

    29     lib/Tools/makeall

    30     lib/html/library_index_content.template

    31
wneuper/isa