Admin/CHECKLIST
author huffman
Wed, 04 Mar 2009 17:12:23 -0800
changeset 30273 ecd6f0ca62ea
parent 30189 3633f560f4c3
child 30852 59a422908e29
permissions -rw-r--r--
declare power_Suc [simp]; remove redundant type-specific versions of power_Suc

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

- test 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-src/Dirs
    doc/Contents

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

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