--- a/Admin/Windows/Cygwin/isabelle/postinstall Sun Nov 22 23:19:43 2015 +0100
+++ b/Admin/Windows/Cygwin/isabelle/postinstall Mon Nov 23 16:57:01 2015 +0100
@@ -9,6 +9,6 @@
find -type d -exec chmod 755 '{}' +
find -type f \( -name '*.exe' -o -name '*.dll' \) -exec chmod 755 '{}' +
-find -type f -not -name '*.exe' -not -name '*.dll' -exec chmod 644 '{}' +
+find -type f -not -name '*.exe' -not -name '*.dll' -not -name '*.scala' -not -name '*.ML' -not -name '*.thy' -exec chmod 644 '{}' +
+find -type f \( -name '*.scala' -o -name '*.ML' -o -name '*.thy' \) -exec chmod 444 '{}' +
xargs -0 < contrib/cygwin/isabelle/executables chmod 755
-