Admin/CHECKLIST
author wenzelm
Wed Jan 12 16:41:49 2011 +0100 (2011-01-12)
changeset 41527 924106faa45f
parent 41446 92facb553823
child 41596 e424bc65080d
permissions -rw-r--r--
updated to ProofGeneral-4.x;
wenzelm@13447
     1
Checklist for official releases
wenzelm@13447
     2
===============================
wenzelm@13447
     3
wenzelm@40781
     4
- test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
wenzelm@31308
     5
wenzelm@41527
     6
- test Proof General 4.1;
wenzelm@25428
     7
wenzelm@30888
     8
- test Scala wrapper;
wenzelm@30888
     9
wenzelm@25428
    10
- check HTML header of library;
wenzelm@25428
    11
wenzelm@27010
    12
- check CTRL-C, SIGINT in tty (also for external processes);
wenzelm@25428
    13
wenzelm@27010
    14
- check persistent sessions with PG and Poly/ML 5.x;
wenzelm@25550
    15
wenzelm@24883
    16
- Admin/update-keywords;
wenzelm@13447
    17
wenzelm@37368
    18
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
wenzelm@30888
    19
wenzelm@41446
    20
- check Admin/contributed_components;
wenzelm@41446
    21
wenzelm@36860
    22
- diff NEWS wrt. last official release, which is read-only;
wenzelm@36860
    23
wenzelm@30888
    24
- update https://isabelle.in.tum.de/repos/website;
wenzelm@13447
    25
wenzelm@13447
    26
- maintain Docs:
wenzelm@28956
    27
    doc-src/Dirs
wenzelm@28956
    28
    doc/Contents
wenzelm@13447
    29
wenzelm@13447
    30
- maintain Logics:
wenzelm@28956
    31
    build
wenzelm@40779
    32
    etc/components
wenzelm@30852
    33
    lib/html/library_index_content.template
wenzelm@13447
    34
wenzelm@37526
    35
wenzelm@37526
    36
Packaging
wenzelm@37526
    37
=========
wenzelm@37526
    38
wenzelm@37526
    39
- makedist -r DISTNAME
wenzelm@37526
    40
wenzelm@37526
    41
- makebin (multiplatform);
wenzelm@37526
    42
wenzelm@37526
    43
- makebin -l on fast machine;
wenzelm@37526
    44
wenzelm@37526
    45
- makebundle (multiplatform);
wenzelm@37526
    46
wenzelm@37526
    47
- hdiutil create -srcfolder DIR DMG (Mac OS);
wenzelm@37526
    48