changeset 52441 | ffc3f1659a25 |
parent 52439 | 4cf3f6153eb8 |
child 52677 | 2b446d507296 |
--- 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 中国";