| author | haftmann |
| Tue, 30 Oct 2007 12:14:22 +0100 | |
| changeset 25236 | 54b390300227 |
| parent 25214 | 91730b492a45 |
| child 25428 | 95c0b4dc600b |
| permissions | -rw-r--r-- |
| wenzelm@13447 | 1 |
Checklist for official releases |
| wenzelm@13447 | 2 |
=============================== |
| wenzelm@13447 | 3 |
|
| wenzelm@24883 | 4 |
- Admin/update-keywords; |
| wenzelm@13447 | 5 |
|
| haftmann@25214 | 6 |
- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website; |
| wenzelm@13447 | 7 |
|
| wenzelm@24883 | 8 |
- run tests with all supported ML systems; |
| wenzelm@13447 | 9 |
|
| wenzelm@13447 | 10 |
- maintain Docs: |
| wenzelm@13447 | 11 |
Doc/Contents |
| wenzelm@13447 | 12 |
Distribution/doc/Contents |
| haftmann@25236 | 13 |
Admin/index.html (? FIXME ?) |
| wenzelm@13447 | 14 |
|
| wenzelm@13447 | 15 |
- maintain Logics: |
| wenzelm@13447 | 16 |
Admin/makedist |
| wenzelm@13447 | 17 |
Distribution/build |
| wenzelm@13447 | 18 |
Distribution/lib/Tools/makeall |
| kleing@15808 | 19 |
Distribution/lib/html/index.html |
| wenzelm@13447 | 20 |
Doc/Logics/intro.tex |
| wenzelm@13447 | 21 |
Doc/Logics/logics.tex |
| wenzelm@13447 | 22 |
|
| kleing@15808 | 23 |
- after release: |
| haftmann@25214 | 24 |
commit new ~isabelle/website/include/documentationdist.include.html to website SVN |
| kleing@15808 | 25 |
|
| wenzelm@13447 | 26 |
$Id$ |