diff -r 51595a047730 -r ea8343187225 Admin/Release/CHECKLIST
--- 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;