| author | wenzelm |
| Wed, 27 Aug 2008 20:36:25 +0200 | |
| changeset 28026 | dad9a2f178ac |
| parent 27635 | 66fcb7e9baef |
| child 28956 | 64754369cee3 |
| permissions | -rw-r--r-- |
| wenzelm@13447 | 1 |
Checklist for official releases |
| wenzelm@13447 | 2 |
=============================== |
| wenzelm@13447 | 3 |
|
| wenzelm@27016 | 4 |
- test alice, mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin; |
| wenzelm@25428 | 5 |
|
| wenzelm@25428 | 6 |
- test ProofGeneral; |
| wenzelm@25428 | 7 |
|
| wenzelm@25428 | 8 |
- check HTML header of library; |
| wenzelm@25428 | 9 |
|
| wenzelm@27010 | 10 |
- check CTRL-C, SIGINT in tty (also for external processes); |
| wenzelm@25428 | 11 |
|
| wenzelm@27010 | 12 |
- check persistent sessions with PG and Poly/ML 5.x; |
| wenzelm@25550 | 13 |
|
| wenzelm@24883 | 14 |
- Admin/update-keywords; |
| wenzelm@13447 | 15 |
|
| haftmann@25214 | 16 |
- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website; |
| wenzelm@13447 | 17 |
|
| wenzelm@13447 | 18 |
- maintain Docs: |
| wenzelm@27635 | 19 |
Doc/Dirs |
| wenzelm@13447 | 20 |
Distribution/doc/Contents |
| wenzelm@13447 | 21 |
|
| wenzelm@13447 | 22 |
- maintain Logics: |
| wenzelm@13447 | 23 |
Admin/makedist |
| wenzelm@13447 | 24 |
Distribution/build |
| wenzelm@13447 | 25 |
Distribution/lib/Tools/makeall |
| kleing@15808 | 26 |
Distribution/lib/html/index.html |
| wenzelm@13447 | 27 |
Doc/Logics/intro.tex |
| wenzelm@13447 | 28 |
Doc/Logics/logics.tex |
| wenzelm@13447 | 29 |
|
| kleing@15808 | 30 |
- after release: |
| haftmann@25214 | 31 |
commit new ~isabelle/website/include/documentationdist.include.html to website SVN |
| kleing@15808 | 32 |
|
| wenzelm@13447 | 33 |
$Id$ |