# HG changeset patch
# User wenzelm
# Date 1243772454 -7200
# Node ID b5365a9db71800ba3c0afb002930fa960e3671a8
# Parent  be0c4236fe44433539c7c0c2249d3efc2d66e274
uniform treatment of shellscript mode;

diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/isatest-settings	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 # $Id$
 # Author: Gerwin Klein, NICTA
 #
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/annomaly
--- a/Admin/isatest/settings/annomaly	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/annomaly	Sun May 31 14:20:54 2009 +0200
@@ -1,3 +1,5 @@
+# -*- shell-script -*- :mode=shellscript:
+
 ML_SYSTEM=annomaly
 ML_HOME="$SMLNJ_HOME/bin"
 ML_OPTIONS="-m $SMLNJ_HOME/annomaly/annomaly.cm @SMLdebug=/dev/null"
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/at-mac-poly-5.1-para
--- a/Admin/isatest/settings/at-mac-poly-5.1-para	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-5.2.1"
   ML_SYSTEM="polyml-5.2.1"
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/at-poly
--- a/Admin/isatest/settings/at-poly	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/at-poly	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-5.2"
   ML_SYSTEM="polyml-5.2"
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/at-poly-5.1-para-e
--- a/Admin/isatest/settings/at-poly-5.1-para-e	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/at-poly-5.1-para-e	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-5.2.1"
   ML_SYSTEM="polyml-5.2.1"
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/at-poly-dev-e
--- a/Admin/isatest/settings/at-poly-dev-e	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/at-poly-dev-e	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-5.2"
   ML_SYSTEM="polyml-5.2"
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/at-sml
--- a/Admin/isatest/settings/at-sml	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/at-sml	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj-110.0.7
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/at-sml-dev-e
--- a/Admin/isatest/settings/at-sml-dev-e	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/at-sml-dev-e	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/at-sml-dev-p
--- a/Admin/isatest/settings/at-sml-dev-p	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/at-sml-dev-p	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/at64-poly	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-5.2"
   ML_SYSTEM="polyml-5.2"
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/at64-poly-5.1-para
--- a/Admin/isatest/settings/at64-poly-5.1-para	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/at64-poly-5.1-para	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-5.2.1"
   ML_SYSTEM="polyml-5.2.1"
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/at64-sml-dev
--- a/Admin/isatest/settings/at64-sml-dev	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/at64-sml-dev	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/mac-poly
--- a/Admin/isatest/settings/mac-poly	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/mac-poly	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-5.2"
   ML_SYSTEM="polyml-5.2"
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/mac-sml-dev
--- a/Admin/isatest/settings/mac-sml-dev	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/mac-sml-dev	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/sun-poly
--- a/Admin/isatest/settings/sun-poly	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/sun-poly	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
   POLYML_HOME="/home/polyml/polyml-5.1"
   ML_SYSTEM="polyml-5.1"
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/sun-sml
--- a/Admin/isatest/settings/sun-sml	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/sun-sml	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
 # Standard ML of New Jersey 110.0.7 (stable version)
 ML_SYSTEM=smlnj-110.0.7
diff -r be0c4236fe44 -r b5365a9db718 Admin/isatest/settings/sun-sml-dev
--- a/Admin/isatest/settings/sun-sml-dev	Sun May 31 14:16:32 2009 +0200
+++ b/Admin/isatest/settings/sun-sml-dev	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj-110
diff -r be0c4236fe44 -r b5365a9db718 etc/user-settings.sample
--- a/etc/user-settings.sample	Sun May 31 14:16:32 2009 +0200
+++ b/etc/user-settings.sample	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 #
 # Isabelle user settings sample -- for use in ~/.isabelle/etc/settings
 
diff -r be0c4236fe44 -r b5365a9db718 lib/scripts/timestart.bash
--- a/lib/scripts/timestart.bash	Sun May 31 14:16:32 2009 +0200
+++ b/lib/scripts/timestart.bash	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 #
 # Author: Makarius
 #
diff -r be0c4236fe44 -r b5365a9db718 lib/scripts/timestop.bash
--- a/lib/scripts/timestop.bash	Sun May 31 14:16:32 2009 +0200
+++ b/lib/scripts/timestop.bash	Sun May 31 14:20:54 2009 +0200
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 #
 # Author: Makarius
 #