Admin/Release/CHECKLIST
author wenzelm
Sun, 20 Jan 2013 13:59:13 +0100
changeset 50990 11996ea98bbe
parent 50984 7c07ade3c8e0
child 51097 72c355842f42
permissions -rw-r--r--
tuned;
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
50647
58312dae25a5 updated for release;
wenzelm
parents: 49004
diff changeset
     4
- check latest polyml, smlnj, jdk, scala, jedit;
58312dae25a5 updated for release;
wenzelm
parents: 49004
diff changeset
     5
58312dae25a5 updated for release;
wenzelm
parents: 49004
diff changeset
     6
- check Admin/components;
58312dae25a5 updated for release;
wenzelm
parents: 49004
diff changeset
     7
47979
59ec72d3d0b9 discontinued support for Poly/ML 5.2.1;
wenzelm
parents: 47977
diff changeset
     8
- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
31308
3fd52453ae81 discontinued support for Poly/ML 4.x versions;
wenzelm
parents: 30888
diff changeset
     9
50802
7a7e8958b6ef scala-2.9.2 is still supported;
wenzelm
parents: 50799
diff changeset
    10
- test scala-2.9.2;
7a7e8958b6ef scala-2.9.2 is still supported;
wenzelm
parents: 50799
diff changeset
    11
44801
a0459c50cfc9 some updates for release;
wenzelm
parents: 41666
diff changeset
    12
- test Proof General 4.1, 3.7.1.1;
30888
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
    13
50957
wenzelm
parents: 50899
diff changeset
    14
- test 'display_drafts' command;
25428
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
    15
50957
wenzelm
parents: 50899
diff changeset
    16
- check HTML header of library;
25428
95c0b4dc600b some more items;
wenzelm
parents: 25236
diff changeset
    17
44863
49ea566cb3b4 more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on;
wenzelm
parents: 44801
diff changeset
    18
- check file positions within logic images (hyperlinks etc.);
49ea566cb3b4 more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on;
wenzelm
parents: 44801
diff changeset
    19
50647
58312dae25a5 updated for release;
wenzelm
parents: 49004
diff changeset
    20
- isabelle update_keywords;
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    21
37368
1c816f2abb0e removed outdated/confusing INSTALL file;
wenzelm
parents: 37285
diff changeset
    22
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
30888
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
    23
41617
0f98d8f27912 more release checks;
wenzelm
parents: 41608
diff changeset
    24
- check funny base directory, e.g. "Test 中国";
0f98d8f27912 more release checks;
wenzelm
parents: 41608
diff changeset
    25
36860
d9338f121406 check NEWS;
wenzelm
parents: 36858
diff changeset
    26
- diff NEWS wrt. last official release, which is read-only;
d9338f121406 check NEWS;
wenzelm
parents: 36858
diff changeset
    27
30888
a8f9e12d815e misc updates for Isabelle2009;
wenzelm
parents: 30852
diff changeset
    28
- update https://isabelle.in.tum.de/repos/website;
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    29
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    30
- maintain Docs:
28956
64754369cee3 eliminated traces of old Distribution directory;
wenzelm
parents: 27635
diff changeset
    31
    doc/Contents
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    32
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    33
- maintain Logics:
50647
58312dae25a5 updated for release;
wenzelm
parents: 49004
diff changeset
    34
    ROOTS
30852
59a422908e29 misc tuning for release;
wenzelm
parents: 30189
diff changeset
    35
    lib/html/library_index_content.template
13447
3470596f3cd5 updated;
wenzelm
parents:
diff changeset
    36
47408
63c05991882e slightly faster default compilation of Isabelle/Scala;
wenzelm
parents: 46729
diff changeset
    37
- test separate compilation of Isabelle/Scala PIDE sources:
63c05991882e slightly faster default compilation of Isabelle/Scala;
wenzelm
parents: 46729
diff changeset
    38
    Admin/build jars_test
63c05991882e slightly faster default compilation of Isabelle/Scala;
wenzelm
parents: 46729
diff changeset
    39
47834
4e247a648a01 more CHECKLIST;
wenzelm
parents: 47408
diff changeset
    40
- test Isabelle/jEdit:
4e247a648a01 more CHECKLIST;
wenzelm
parents: 47408
diff changeset
    41
    print buffer
4e247a648a01 more CHECKLIST;
wenzelm
parents: 47408
diff changeset
    42
46729
046ea3c1000e more release tests;
wenzelm
parents: 45147
diff changeset
    43
- test contrib components:
046ea3c1000e more release tests;
wenzelm
parents: 45147
diff changeset
    44
    x86_64-linux without 32bit C/C++ libraries
046ea3c1000e more release tests;
wenzelm
parents: 45147
diff changeset
    45
50784
cbc7002cc273 more CHECKLIST;
wenzelm
parents: 50647
diff changeset
    46
- check "Handler catches all exceptions", using
cbc7002cc273 more CHECKLIST;
wenzelm
parents: 50647
diff changeset
    47
  PolyML.Compiler.reportExhaustiveHandlers := true;
cbc7002cc273 more CHECKLIST;
wenzelm
parents: 50647
diff changeset
    48
37526
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    49
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    50
Packaging
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    51
=========
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    52
50899
506ff6abfde0 grand-unified Admin/Release/build script (excluding .app and .exe);
wenzelm
parents: 50864
diff changeset
    53
- hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist
37526
f4016fca4ff9 notes on packaging;
wenzelm
parents: 37368
diff changeset
    54
50984
7c07ade3c8e0 misc cleanup;
wenzelm
parents: 50957
diff changeset
    55
- manual packaging of .app (Mac OS) and .exe (Windows)
41600
46d65140c5de some notes on final release stage;
wenzelm
parents: 41598
diff changeset
    56
46d65140c5de some notes on final release stage;
wenzelm
parents: 41598
diff changeset
    57
46d65140c5de some notes on final release stage;
wenzelm
parents: 41598
diff changeset
    58
Final release stage
46d65140c5de some notes on final release stage;
wenzelm
parents: 41598
diff changeset
    59
===================
46d65140c5de some notes on final release stage;
wenzelm
parents: 41598
diff changeset
    60
47863
ec5d54029664 clarified;
wenzelm
parents: 47858
diff changeset
    61
- various .hg/hgrc files:
ec5d54029664 clarified;
wenzelm
parents: 47858
diff changeset
    62
  default = /home/isabelle-repository/repos/isabelle-release
41600
46d65140c5de some notes on final release stage;
wenzelm
parents: 41598
diff changeset
    63
47863
ec5d54029664 clarified;
wenzelm
parents: 47858
diff changeset
    64
- isatest@macbroy28:hg-isabelle/.hg/hgrc
41608
5a3696574ebb more notes on final release stage;
wenzelm
parents: 41600
diff changeset
    65
- isatest@macbroy28:devel-page/content/index.content
5a3696574ebb more notes on final release stage;
wenzelm
parents: 41600
diff changeset
    66
47977
455a9f89c47d some post-release notes;
wenzelm
parents: 47863
diff changeset
    67
455a9f89c47d some post-release notes;
wenzelm
parents: 47863
diff changeset
    68
Post-release
455a9f89c47d some post-release notes;
wenzelm
parents: 47863
diff changeset
    69
============
455a9f89c47d some post-release notes;
wenzelm
parents: 47863
diff changeset
    70
455a9f89c47d some post-release notes;
wenzelm
parents: 47863
diff changeset
    71
- update /home/isabelle and /home/isabelle/html-data
455a9f89c47d some post-release notes;
wenzelm
parents: 47863
diff changeset
    72