Admin/CHECKLIST
author hoelzl
Fri, 14 Jan 2011 14:21:48 +0100
changeset 41544 c3b977fee8a3
parent 41527 924106faa45f
child 41596 e424bc65080d
permissions -rw-r--r--
introduced integral syntax
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
40781
ba5be5c3d477 updated versions;
wenzelm
parents: 40779
diff changeset
     4
- test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
31308
3fd52453ae81 discontinued support for Poly/ML 4.x versions;
wenzelm
parents: 30888
diff changeset
     5
41527
924106faa45f updated to ProofGeneral-4.x;
wenzelm
parents: 41446
diff changeset
     6
- test Proof General 4.1;
25428
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
     7
30888
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
     8
- test Scala wrapper;
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
     9
25428
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
    10
- check HTML header of library;
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
    11
27010
wenzelm
parents: 25550
diff changeset
    12
- check CTRL-C, SIGINT in tty (also for external processes);
25428
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
    13
27010
wenzelm
parents: 25550
diff changeset
    14
- check persistent sessions with PG and Poly/ML 5.x;
25550
c482262dd960 check persistent sessions;
wenzelm
parents: 25428
diff changeset
    15
24883
62b2f9db943b some updates;
wenzelm
parents: 24619
diff changeset
    16
- Admin/update-keywords;
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    17
37368
1c816f2abb0e removed outdated/confusing INSTALL file;
wenzelm
parents: 37285
diff changeset
    18
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
30888
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
    19
41446
92facb553823 updated for release;
wenzelm
parents: 40781
diff changeset
    20
- check Admin/contributed_components;
92facb553823 updated for release;
wenzelm
parents: 40781
diff changeset
    21
36860
d9338f121406 check NEWS;
wenzelm
parents: 36858
diff changeset
    22
- diff NEWS wrt. last official release, which is read-only;
d9338f121406 check NEWS;
wenzelm
parents: 36858
diff changeset
    23
30888
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
    24
- update https://isabelle.in.tum.de/repos/website;
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    25
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    26
- maintain Docs:
28956
64754369cee3 eliminated traces of old Distribution directory;
wenzelm
parents: 27635
diff changeset
    27
    doc-src/Dirs
64754369cee3 eliminated traces of old Distribution directory;
wenzelm
parents: 27635
diff changeset
    28
    doc/Contents
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    29
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    30
- maintain Logics:
28956
64754369cee3 eliminated traces of old Distribution directory;
wenzelm
parents: 27635
diff changeset
    31
    build
40779
24851517ef15 follow-up to HOLCF move (cf. 0437dbc127b3, 04d44a20fccf);
wenzelm
parents: 37526
diff changeset
    32
    etc/components
30852
59a422908e29 misc tuning for release;
wenzelm
parents: 30189
diff changeset
    33
    lib/html/library_index_content.template
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    34
37526
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    35
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    36
Packaging
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    37
=========
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    38
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    39
- makedist -r DISTNAME
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    40
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    41
- makebin (multiplatform);
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    42
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    43
- makebin -l on fast machine;
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    44
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    45
- makebundle (multiplatform);
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    46
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    47
- hdiutil create -srcfolder DIR DMG (Mac OS);
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    48