Admin/CHECKLIST
author bulwahn
Wed Sep 23 16:20:12 2009 +0200 (2009-09-23)
changeset 32670 cc0bae788b7e
parent 31308 3fd52453ae81
child 33841 6508d0e8bb19
permissions -rw-r--r--
added a new example for the predicate compiler
wenzelm@13447
     1
Checklist for official releases
wenzelm@13447
     2
===============================
wenzelm@13447
     3
wenzelm@31308
     4
- test mosml, polyml-5.2, polyml-5.1, polyml-5.0;
wenzelm@31308
     5
wenzelm@31308
     6
- test sparc-solaris, x86-solaris;
wenzelm@25428
     7
wenzelm@25428
     8
- test ProofGeneral;
wenzelm@25428
     9
wenzelm@30888
    10
- test Scala wrapper;
wenzelm@30888
    11
wenzelm@25428
    12
- check HTML header of library;
wenzelm@25428
    13
wenzelm@27010
    14
- check CTRL-C, SIGINT in tty (also for external processes);
wenzelm@25428
    15
wenzelm@27010
    16
- check persistent sessions with PG and Poly/ML 5.x;
wenzelm@25550
    17
wenzelm@24883
    18
- Admin/update-keywords;
wenzelm@13447
    19
wenzelm@30888
    20
- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;
wenzelm@30888
    21
wenzelm@30888
    22
- update https://isabelle.in.tum.de/repos/website;
wenzelm@13447
    23
wenzelm@13447
    24
- maintain Docs:
wenzelm@28956
    25
    doc-src/Dirs
wenzelm@28956
    26
    doc/Contents
wenzelm@13447
    27
wenzelm@13447
    28
- maintain Logics:
wenzelm@28956
    29
    build
wenzelm@28956
    30
    lib/Tools/makeall
wenzelm@30852
    31
    lib/html/library_index_content.template
wenzelm@13447
    32