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/Contents
Distribution/doc/Contents
Admin/index.html (? FIXME ?)
- 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$