# HG changeset patch
# User wenzelm
# Date 1275485907 -7200
# Node ID 085cbd6a2a58c8477d60582ac5a13d14fc625cfa
# Parent  a1b0201584cd843cc652fe404d59f80810d21b3e
actually test smlnj;

diff -r a1b0201584cd -r 085cbd6a2a58 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed Jun 02 15:36:24 2010 +0200
+++ b/Admin/CHECKLIST	Wed Jun 02 15:38:27 2010 +0200
@@ -1,7 +1,7 @@
 Checklist for official releases
 ===============================
 
-- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0;
+- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0, smlnj;
 
 - test Proof General;