--- 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"