changeset 58166 | 5ae68f53b7c2 |
parent 56709 | f4bbfc2eeae8 |
child 58171 | f151ade98b15 |
1.1 --- a/Admin/Release/CHECKLIST Fri May 02 13:52:45 2014 +0200 1.2 +++ b/Admin/Release/CHECKLIST Fri May 02 13:57:57 2014 +0200 1.3 @@ -17,7 +17,7 @@ 1.4 1.5 - check HTML header of library; 1.6 1.7 -- check ML sources: isabelle build -nal; 1.8 +- check sources: see isabelle.Check_Source; 1.9 1.10 - run isabelle update_keywords; 1.11