--- a/Admin/Release/CHECKLIST Thu May 21 00:24:02 2015 +0200
+++ b/Admin/Release/CHECKLIST Thu May 21 11:55:57 2015 +0200
@@ -7,10 +7,6 @@
- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
-- test Isabelle/jEdit on single-core;
-
-- test Isabelle/jEdit on airy device;
-
- test 'display_drafts' command;
- test "#!/usr/bin/env isabelle_scala_script";
@@ -42,7 +38,9 @@
Admin/build jars_test
- test Isabelle/jEdit:
- print buffer
+ . print buffer
+ . on single-core
+ . on airy device
- test contrib components:
x86_64-linux without 32bit C/C++ libraries