--- a/Admin/Release/CHECKLIST Fri Sep 08 19:22:47 2017 +0200
+++ b/Admin/Release/CHECKLIST Fri Sep 08 19:26:28 2017 +0200
@@ -7,6 +7,8 @@
- test 'display_drafts' command;
+- test Isabelle/jEdit: print buffer
+
- test "#!/usr/bin/env isabelle_scala_script";
- check sources:
@@ -43,11 +45,6 @@
- HTML library: check theory dependencies (PDF);
-- test Isabelle/jEdit:
- . print buffer
- . on single-core
- . on airy device
-
- test contrib components:
x86_64-linux without 32bit C/C++ libraries
x86-linux on 32bit hardware