Admin/Release/CHECKLIST
changeset 50802 7a7e8958b6ef
parent 50799 5a2f5834ccb4
child 50864 e932198be619
--- a/Admin/Release/CHECKLIST	Thu Jan 10 13:02:06 2013 +0100
+++ b/Admin/Release/CHECKLIST	Thu Jan 10 13:02:36 2013 +0100
@@ -7,6 +7,8 @@
 
 - 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;
 
 - check HTML header of library;