Admin/CHECKLIST
author wenzelm
Wed, 15 Apr 2009 11:14:48 +0200
changeset 30895 bad26d8f0adf
parent 30888 a8f9e12d815e
child 31308 3fd52453ae81
permissions -rw-r--r--
updated for Isabelle2009;
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
30888
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
     4
- test mosml, polyml-5.2, polyml-5.1, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0,
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
     5
  sparc-solaris, x86-solaris;
25428
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
     6
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
     7
- test ProofGeneral;
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
     8
30888
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
     9
- test Scala wrapper;
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
    10
25428
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
    11
- check HTML header of library;
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
    12
27010
wenzelm
parents: 25550
diff changeset
    13
- check CTRL-C, SIGINT in tty (also for external processes);
25428
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
    14
27010
wenzelm
parents: 25550
diff changeset
    15
- check persistent sessions with PG and Poly/ML 5.x;
25550
c482262dd960 check persistent sessions;
wenzelm
parents: 25428
diff changeset
    16
24883
62b2f9db943b some updates;
wenzelm
parents: 24619
diff changeset
    17
- Admin/update-keywords;
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    18
30888
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
    19
- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
    20
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
    21
- update https://isabelle.in.tum.de/repos/website;
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    22
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    23
- maintain Docs:
28956
64754369cee3 eliminated traces of old Distribution directory;
wenzelm
parents: 27635
diff changeset
    24
    doc-src/Dirs
64754369cee3 eliminated traces of old Distribution directory;
wenzelm
parents: 27635
diff changeset
    25
    doc/Contents
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    26
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    27
- maintain Logics:
28956
64754369cee3 eliminated traces of old Distribution directory;
wenzelm
parents: 27635
diff changeset
    28
    build
64754369cee3 eliminated traces of old Distribution directory;
wenzelm
parents: 27635
diff changeset
    29
    lib/Tools/makeall
30852
59a422908e29 misc tuning for release;
wenzelm
parents: 30189
diff changeset
    30
    lib/html/library_index_content.template
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    31