diff -r 67f57dc115b9 -r ffc3f1659a25 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Mon Jun 24 23:39:17 2013 +0200
+++ b/Admin/Release/CHECKLIST	Mon Jun 24 23:44:36 2013 +0200
@@ -17,6 +17,8 @@
 
 - check file positions within logic images (hyperlinks etc.);
 
+- run isabelle update_keywords;
+
 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
 
 - check funny base directory, e.g. "Test 中国";