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