need to run isabelle update_keywords, but not to check it (cf. 4cf3f6153eb8);

--- 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 中国";