Admin/CHECKLIST
author blanchet
Wed, 02 Jun 2010 15:18:48 +0200
changeset 37321 9d7cfae95b30
parent 37161 1754a1c17426
child 37285 085cbd6a2a58
permissions -rw-r--r--
honor "xsymbols"

Checklist for official releases
===============================

- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0;

- test Proof General;

- test Scala wrapper;

- check HTML header of library;

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

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

- Admin/update-keywords;

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

- diff NEWS wrt. last official release, which is read-only;

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

- maintain Docs:
    doc-src/Dirs
    doc/Contents

- maintain Logics:
    build
    lib/html/library_index_content.template