diff -r bb8468ae414e -r 9e576ec5c0dc src/HOL/Tools/ATP/etc/settings
--- a/src/HOL/Tools/ATP/etc/settings	Mon Dec 20 14:44:00 2010 +0100
+++ b/src/HOL/Tools/ATP/etc/settings	Mon Dec 20 15:19:15 2010 +0100
@@ -1,1 +1,3 @@
+# -*- shell-script -*- :mode=shellscript:
+
 ISABELLE_ATP="$COMPONENT"