# HG changeset patch
# User wenzelm
# Date 1378379371 -7200
# Node ID 3a67ed19b7553ba5c8855ca2e1b8c14d2e4108d9
# Parent  9ebab8b7d73c7e5b35b27bea8664f2cad658ec05
support only one scala version;
tuned;

diff -r 9ebab8b7d73c -r 3a67ed19b755 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Thu Sep 05 12:33:51 2013 +0200
+++ b/Admin/Release/CHECKLIST	Thu Sep 05 13:09:31 2013 +0200
@@ -7,8 +7,6 @@
 
 - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
 
-- test scala-2.9.2;
-
 - test Proof General 4.1, 3.7.1.1;
 
 - test 'display_drafts' command;
@@ -27,8 +25,7 @@
 
 - update https://isabelle.in.tum.de/repos/website;
 
-- maintain Docs:
-    doc/Contents
+- maintain doc/Contents;
 
 - maintain Logics:
     ROOTS