Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/CHECKLIST
author huffman
Tue, 21 Apr 2009 15:57:08 -0700
changeset 30919 dcf8a7a66bd1
parent 30888 a8f9e12d815e
child 31308 3fd52453ae81
permissions -rw-r--r--
make domain package ML interface more consistent with datatype package; use binding instead of bstring

Checklist for official releases
===============================

- test mosml, polyml-5.2, polyml-5.1, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0,
  sparc-solaris, x86-solaris;

- test ProofGeneral;

- test Scala wrapper;

- check HTML header of library;

- check CTRL-C, SIGINT in tty (also for external processes);

- check persistent sessions with PG and Poly/ML 5.x;

- Admin/update-keywords;

- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;

- update https://isabelle.in.tum.de/repos/website;

- maintain Docs:
    doc-src/Dirs
    doc/Contents

- maintain Logics:
    build
    lib/Tools/makeall
    lib/html/library_index_content.template
isabelle