--- a/Admin/CHECKLIST Wed Apr 08 20:29:15 2009 +0200
+++ b/Admin/CHECKLIST Tue Apr 14 12:27:18 2009 +0200
@@ -1,10 +1,13 @@
Checklist for official releases
===============================
-- test mosml, polyml-5.0, polyml-4.1.3, polyml-4.1.4, polyml-4.2.0, x86-solaris, x86-cygwin;
+- 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);
@@ -13,7 +16,9 @@
- Admin/update-keywords;
-- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
+- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS;
+
+- update https://isabelle.in.tum.de/repos/website;
- maintain Docs:
doc-src/Dirs
@@ -24,6 +29,3 @@
lib/Tools/makeall
lib/html/library_index_content.template
-- after release:
- commit new ~isabelle/website/include/documentationdist.include.html to website SVN
-