Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/CHECKLIST
author wenzelm
Thu, 02 Oct 2008 19:38:48 +0200
changeset 28463 b8f16c92122a
parent 27635 66fcb7e9baef
child 28956 64754369cee3
permissions -rw-r--r--
program wrapper: controlled_execution ensures proper thread attributes (global default is unsafe due to InterruptAsynch;

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

- test alice, mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;

- test ProofGeneral;

- 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, ~isabelle/website;

- maintain Docs:
    Doc/Dirs
    Distribution/doc/Contents

- maintain Logics:
    Admin/makedist
    Distribution/build
    Distribution/lib/Tools/makeall
    Distribution/lib/html/index.html
    Doc/Logics/intro.tex
    Doc/Logics/logics.tex

- after release: 
    commit new ~isabelle/website/include/documentationdist.include.html to website SVN

$Id$
isabelle