diff -r c9628d79109b -r 7dccaa6d419a Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Mon Aug 21 17:19:20 2017 +0200
+++ b/Admin/Release/CHECKLIST	Mon Aug 21 17:31:03 2017 +0200
@@ -15,7 +15,9 @@
 
 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
 
-- check versions in src/Tools/jEdit/Isabelle.props;
+- check versions:
+    src/Tools/jEdit/src/Isabelle.props
+    src/Tools/jEdit/src-base/Isabelle_Base.props
 
 - check funny base directory, e.g. "Test 中国";
 
@@ -44,6 +46,7 @@
 
 - test contrib components:
     x86_64-linux without 32bit C/C++ libraries
+    x86-linux on 32bit hardware
 
 - check "Handler catches all exceptions"