# HG changeset patch
# User wenzelm
# Date 1274379652 -7200
# Node ID 106c56e916f8ce07c5511d19da446dda9cbff6ca
# Parent  f692d6178e4e3830ab0b759f45c3b39b0f52336c
enable shell script editor mode;

diff -r f692d6178e4e -r 106c56e916f8 lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Thu May 20 16:25:22 2010 +0200
+++ b/lib/scripts/isabelle-platform	Thu May 20 20:20:52 2010 +0200
@@ -1,3 +1,4 @@
+# -*- shell-script -*- :mode=shellscript:
 #
 # determine general hardware and operating system type for Isabelle
 #