# HG changeset patch
# User wenzelm
# Date 1239704838 -7200
# Node ID a8f9e12d815e4ff1a5510066df93325567580d27
# Parent  fde434961f576b1a3e675c083f810e983dcbdafa
misc updates for Isabelle2009;

diff -r fde434961f57 -r a8f9e12d815e Admin/CHECKLIST
--- 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
-