changeset 52439 | 4cf3f6153eb8 |
parent 51097 | 72c355842f42 |
child 52441 | ffc3f1659a25 |
--- a/Admin/Release/CHECKLIST Mon Jun 24 17:17:17 2013 +0200 +++ b/Admin/Release/CHECKLIST Mon Jun 24 23:33:14 2013 +0200 @@ -17,8 +17,6 @@ - check file positions within logic images (hyperlinks etc.); -- isabelle update_keywords; - - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; - check funny base directory, e.g. "Test 中国";