1.1 --- a/Admin/CHECKLIST Wed Apr 08 20:29:15 2009 +0200
1.2 +++ b/Admin/CHECKLIST Tue Apr 14 12:27:18 2009 +0200
1.3 @@ -1,10 +1,13 @@
1.4 Checklist for official releases
1.5 ===============================
1.6
1.7 -- test mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;
1.8 +- test mosml, polyml-5.2, polyml-5.1, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0,
1.9 + sparc-solaris, x86-solaris;
1.10
1.11 - test ProofGeneral;
1.12
1.13 +- test Scala wrapper;
1.14 +
1.15 - check HTML header of library;
1.16
1.17 - check CTRL-C, SIGINT in tty (also for external processes);
1.18 @@ -13,7 +16,9 @@
1.19
1.20 - Admin/update-keywords;
1.21
1.22 -- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
1.23 +- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;
1.24 +
1.25 +- update https://isabelle.in.tum.de/repos/website;
1.26
1.27 - maintain Docs:
1.28 doc-src/Dirs
1.29 @@ -24,6 +29,3 @@
1.30 lib/Tools/makeall
1.31 lib/html/library_index_content.template
1.32
1.33 -- after release:
1.34 - commit new ~isabelle/website/include/documentationdist.include.html to website SVN
1.35 -