# HG changeset patch
# User wenzelm
# Date 1379004831 -7200
# Node ID b78eccad3939763792c7aed19e161a8b0dafe99a
# Parent  8533b4cb8dd74b8ab1f62de8de686195e2e40e23
more CHECKLIST;

diff -r 8533b4cb8dd7 -r b78eccad3939 Admin/Release/CHECKLIST
--- 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.);