isabelle: Admin/CHECKLIST@cbe7ec0cdeb9 (annotated)

13447 3470596f3cd5 updated; wenzelm parents: diff changeset	1
3470596f3cd5 updated; wenzelm parents: diff changeset	2	Checklist for official releases
3470596f3cd5 updated; wenzelm parents: diff changeset	3	===============================
3470596f3cd5 updated; wenzelm parents: diff changeset	4
3470596f3cd5 updated; wenzelm parents: diff changeset	5	- make sure that etc/isar-keywords.el and etc/isar-keywords-ZF.el are
3470596f3cd5 updated; wenzelm parents: diff changeset	6	up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and
3470596f3cd5 updated; wenzelm parents: diff changeset	7	``ProofGeneral.write_keywords "ZF"'';
3470596f3cd5 updated; wenzelm parents: diff changeset	8
3470596f3cd5 updated; wenzelm parents: diff changeset	9	- check ANNOUNCE, README, INSTALL, NEWS, Admin/page;
3470596f3cd5 updated; wenzelm parents: diff changeset	10
3470596f3cd5 updated; wenzelm parents: diff changeset	11	- run tests with all supported ML systems (yes this is tedious!);
3470596f3cd5 updated; wenzelm parents: diff changeset	12
3470596f3cd5 updated; wenzelm parents: diff changeset	13	- maintain Docs:
3470596f3cd5 updated; wenzelm parents: diff changeset	14	Doc/Contents
3470596f3cd5 updated; wenzelm parents: diff changeset	15	Distribution/doc/Contents
3470596f3cd5 updated; wenzelm parents: diff changeset	16	Admin/index.html
3470596f3cd5 updated; wenzelm parents: diff changeset	17
3470596f3cd5 updated; wenzelm parents: diff changeset	18	- maintain Logics:
3470596f3cd5 updated; wenzelm parents: diff changeset	19	Admin/makedist
3470596f3cd5 updated; wenzelm parents: diff changeset	20	Distribution/build
3470596f3cd5 updated; wenzelm parents: diff changeset	21	Distribution/lib/Tools/makeall
15808 cbe7ec0cdeb9 updated, added Admin/page after-release maintenance kleing parents: 13447 diff changeset	22	Distribution/lib/html/index.html
13447 3470596f3cd5 updated; wenzelm parents: diff changeset	23	Doc/Logics/intro.tex
3470596f3cd5 updated; wenzelm parents: diff changeset	24	Doc/Logics/logics.tex
3470596f3cd5 updated; wenzelm parents: diff changeset	25
15808 cbe7ec0cdeb9 updated, added Admin/page after-release maintenance kleing parents: 13447 diff changeset	26	- after release:
cbe7ec0cdeb9 updated, added Admin/page after-release maintenance kleing parents: 13447 diff changeset	27	update Admin/page/DISTNAME and Admin/page/Contents in CVS
cbe7ec0cdeb9 updated, added Admin/page after-release maintenance kleing parents: 13447 diff changeset	28
13447 3470596f3cd5 updated; wenzelm parents: diff changeset	29	$Id$

author	kleing
	Fri, 22 Apr 2005 01:38:13 +0200
changeset 15808	cbe7ec0cdeb9
parent 13447	3470596f3cd5
child 16328	49c1f9dedc56
permissions	-rw-r--r--