Admin/CHECKLIST
author wenzelm
Thu Nov 26 15:28:42 2009 +0100 (2009-11-26)
changeset 33905 5760ba045bf0
parent 33841 6508d0e8bb19
child 36858 8eac822dec6c
permissions -rw-r--r--
additional menu entries;
wenzelm@13447
     1
Checklist for official releases
wenzelm@13447
     2
===============================
wenzelm@13447
     3
wenzelm@33841
     4
- test mosml, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0;
wenzelm@31308
     5
wenzelm@31308
     6
- test sparc-solaris, x86-solaris;
wenzelm@25428
     7
wenzelm@33841
     8
- test Proof General;
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