changeset 56829 | f151ade98b15 |
parent 56824 | 5ae68f53b7c2 |
child 56902 | f901a08c5653 |
--- 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;