--- a/Admin/Release/CHECKLIST Fri Dec 22 17:49:51 2017 +0100
+++ b/Admin/Release/CHECKLIST Fri Dec 22 18:32:59 2017 +0100
@@ -5,8 +5,6 @@
- check Admin/components;
-- test 'display_drafts' command;
-
- test Isabelle/jEdit: print buffer
- test "#!/usr/bin/env isabelle_scala_script";