| author | haftmann |
| Sat, 27 Oct 2007 12:48:44 +0200 | |
| changeset 25214 | 91730b492a45 |
| parent 25178 | 1cd45207dd3f |
| child 25236 | 54b390300227 |
| permissions | -rw-r--r-- |
| 13447 | 1 |
Checklist for official releases |
2 |
=============================== |
|
3 |
||
| 24883 | 4 |
- Admin/update-keywords; |
| 13447 | 5 |
|
| 25214 | 6 |
- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website; |
| 13447 | 7 |
|
| 24883 | 8 |
- run tests with all supported ML systems; |
| 13447 | 9 |
|
10 |
- maintain Docs: |
|
11 |
Doc/Contents |
|
12 |
Distribution/doc/Contents |
|
13 |
Admin/index.html |
|
14 |
||
15 |
- maintain Logics: |
|
16 |
Admin/makedist |
|
17 |
Distribution/build |
|
18 |
Distribution/lib/Tools/makeall |
|
|
15808
cbe7ec0cdeb9
updated, added Admin/page after-release maintenance
kleing
parents:
13447
diff
changeset
|
19 |
Distribution/lib/html/index.html |
| 13447 | 20 |
Doc/Logics/intro.tex |
21 |
Doc/Logics/logics.tex |
|
22 |
||
|
15808
cbe7ec0cdeb9
updated, added Admin/page after-release maintenance
kleing
parents:
13447
diff
changeset
|
23 |
- after release: |
| 25214 | 24 |
commit new ~isabelle/website/include/documentationdist.include.html to website SVN |
| 24619 | 25 |
!!! commit new Admin/website/conf/distname.mak to CVS |
| 16328 | 26 |
!!! this is currently not part of CVS, so ignore this description; |
27 |
!!! perhaps we will need to add it |
|
|
15808
cbe7ec0cdeb9
updated, added Admin/page after-release maintenance
kleing
parents:
13447
diff
changeset
|
28 |
|
| 13447 | 29 |
$Id$ |