Admin/CHECKLIST
author wenzelm
Wed, 19 Mar 2008 22:28:17 +0100
changeset 26338 f8ed02f22433
parent 25550 c482262dd960
child 27010 4856b752a57c
permissions -rw-r--r--
auxiliary dynamic_thm(s) for fact lookup; renamed local dynamic_thm(s) to goal_thm(s);

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

- test alice, mosml, 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;

- check persistent sessions with PG and Poly/ML 5.1/5.0;

- 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$