diff -r 3841632c7e4f -r 3f0bb5c58dfa Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Thu May 21 11:55:57 2015 +0200
+++ b/Admin/Release/CHECKLIST	Thu May 21 14:03:17 2015 +0200
@@ -16,6 +16,8 @@
 
 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
 
+- check versions in src/Tools/jEdit/Isabelle.props;
+
 - check funny base directory, e.g. "Test 中国";
 
 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding