diff -r 68816d1c73a7 -r a5640ec8fcb8 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Oct 21 18:32:33 2018 +0200
+++ b/Admin/Release/CHECKLIST	Sun Oct 21 19:34:11 2018 +0200
@@ -20,6 +20,10 @@
 - test Windows 10 subsystem for Linux:
   https://docs.microsoft.com/en-us/windows/wsl/install-win10
 
+- check (non-)executable files:
+    $ find . "(" -name "*.thy" -o -name "*.ML" -o -name "*.scala" -o -name ROOT ")" -executable
+    $ find -type f -executable
+
 - check sources:
     isabelle check_sources '~~' '$AFP_BASE'
     isabelle imports -M -a -d '~~/src/Benchmarks'