| changeset 53665 | ea8343187225 |
| parent 53660 | c6554160b9ea |
| child 53979 | 711104822c8e |
--- a/Admin/Release/CHECKLIST Mon Sep 16 16:46:52 2013 +0200 +++ b/Admin/Release/CHECKLIST Mon Sep 16 16:50:49 2013 +0200 @@ -19,6 +19,8 @@ - check file positions within logic images (hyperlinks etc.); +- check ML sources: isabelle build -nal; + - run isabelle update_keywords; - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;