diff -r 5dfcc9697f29 -r 98fa1f9a292f Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Wed Mar 02 19:43:31 2016 +0100
+++ b/Admin/Release/CHECKLIST	Thu Mar 03 11:12:02 2016 +0100
@@ -5,8 +5,6 @@
 
 - check Admin/components;
 
-- test polyml-5.3.0;
-
 - test 'display_drafts' command;
 
 - test "#!/usr/bin/env isabelle_scala_script";