support only one scala version;
tuned;

--- 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