1.1 --- a/lib/scripts/isabelle-platform Thu May 20 16:25:22 2010 +0200
1.2 +++ b/lib/scripts/isabelle-platform Thu May 20 20:20:52 2010 +0200
1.3 @@ -1,3 +1,4 @@
1.4 +# -*- shell-script -*- :mode=shellscript:
1.5 #
1.6 # determine general hardware and operating system type for Isabelle
1.7 #