| changeset 53583 | b78eccad3939 |
| parent 53416 | 3a67ed19b755 |
| child 53660 | c6554160b9ea |
--- a/Admin/Release/CHECKLIST Thu Sep 12 18:50:41 2013 +0200 +++ b/Admin/Release/CHECKLIST Thu Sep 12 18:53:51 2013 +0200 @@ -11,6 +11,8 @@ - test 'display_drafts' command; +- test "#!/usr/bin/env isabelle_scala_script"; + - check HTML header of library; - check file positions within logic images (hyperlinks etc.);