# HG changeset patch
# User wenzelm
# Date 1504891588 -7200
# Node ID 6666fced78ccf0d61dd7fbc6665a8715c033c2dd
# Parent  383d8e388d1b08058712199ef58756788929a9ab
updated for release;

diff -r 383d8e388d1b -r 6666fced78cc Admin/Release/CHECKLIST
--- 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