# HG changeset patch
# User wenzelm
# Date 1432202157 -7200
# Node ID 3841632c7e4fc0cce46bc0fad110931e40146312
# Parent  f32c80df1931b346583a65cd0451487ca1cbb9e0
tuned;

diff -r f32c80df1931 -r 3841632c7e4f Admin/Release/CHECKLIST
--- 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