diff -r 08041569357e -r f151ade98b15 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Fri May 02 19:28:32 2014 +0200
+++ b/Admin/Release/CHECKLIST	Fri May 02 19:30:34 2014 +0200
@@ -17,7 +17,8 @@
 
 - check HTML header of library;
 
-- check sources: see isabelle.Check_Source;
+- check sources:
+    isabelle java isabelle.Check_Source '~~' '$AFP_BASE'
 
 - run isabelle update_keywords;