isabelle: Admin/CHECKLIST@62b2f9db943b (annotated)

13447 3470596f3cd5 updated; wenzelm parents: diff changeset	1	Checklist for official releases
3470596f3cd5 updated; wenzelm parents: diff changeset	2	===============================
3470596f3cd5 updated; wenzelm parents: diff changeset	3
24883 62b2f9db943b some updates; wenzelm parents: 24619 diff changeset	4	- Admin/update-keywords;
13447 3470596f3cd5 updated; wenzelm parents: diff changeset	5
24883 62b2f9db943b some updates; wenzelm parents: 24619 diff changeset	6	- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
13447 3470596f3cd5 updated; wenzelm parents: diff changeset	7
24883 62b2f9db943b some updates; wenzelm parents: 24619 diff changeset	8	- run tests with all supported ML systems;
13447 3470596f3cd5 updated; wenzelm parents: diff changeset	9
3470596f3cd5 updated; wenzelm parents: diff changeset	10	- maintain Docs:
3470596f3cd5 updated; wenzelm parents: diff changeset	11	Doc/Contents
3470596f3cd5 updated; wenzelm parents: diff changeset	12	Distribution/doc/Contents
3470596f3cd5 updated; wenzelm parents: diff changeset	13	Admin/index.html
3470596f3cd5 updated; wenzelm parents: diff changeset	14
3470596f3cd5 updated; wenzelm parents: diff changeset	15	- maintain Logics:
3470596f3cd5 updated; wenzelm parents: diff changeset	16	Admin/makedist
3470596f3cd5 updated; wenzelm parents: diff changeset	17	Distribution/build
3470596f3cd5 updated; wenzelm parents: diff changeset	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 3470596f3cd5 updated; wenzelm parents: diff changeset	20	Doc/Logics/intro.tex
3470596f3cd5 updated; wenzelm parents: diff changeset	21	Doc/Logics/logics.tex
3470596f3cd5 updated; wenzelm parents: diff changeset	22
15808 cbe7ec0cdeb9 updated, added Admin/page after-release maintenance kleing parents: 13447 diff changeset	23	- after release:
24883 62b2f9db943b some updates; wenzelm parents: 24619 diff changeset	24	commit new ~isabelle/website/include/documentationdist.include.html to CVS
24619 c2e6a0f8c30b clarified remark haftmann parents: 16328 diff changeset	25	!!! commit new Admin/website/conf/distname.mak to CVS
16328 49c1f9dedc56 added CONTRIBUTORS haftmann parents: 15808 diff changeset	26	!!! this is currently not part of CVS, so ignore this description;
49c1f9dedc56 added CONTRIBUTORS haftmann parents: 15808 diff changeset	27	!!! perhaps we will need to add it
15808 cbe7ec0cdeb9 updated, added Admin/page after-release maintenance kleing parents: 13447 diff changeset	28
13447 3470596f3cd5 updated; wenzelm parents: diff changeset	29	$Id$

author	wenzelm
	Sat, 06 Oct 2007 22:31:57 +0200
changeset 24883	62b2f9db943b
parent 24619	c2e6a0f8c30b
child 25178	1cd45207dd3f
permissions	-rw-r--r--