Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
uniform treatment of shellscript mode;
authorwenzelm
Sun, 31 May 2009 14:20:54 +0200
changeset 31310 b5365a9db718
parent 31309 be0c4236fe44
child 31311 b82e55f51dcc
uniform treatment of shellscript mode;
Admin/isatest/isatest-settings file | annotate | diff | comparison | revisions
Admin/isatest/settings/annomaly file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-mac-poly-5.1-para file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-5.1-para-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-dev-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-sml file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-sml-dev-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-sml-dev-p file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly-5.1-para file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-sml-dev file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-sml-dev file | annotate | diff | comparison | revisions
Admin/isatest/settings/sun-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/sun-sml file | annotate | diff | comparison | revisions
Admin/isatest/settings/sun-sml-dev file | annotate | diff | comparison | revisions
etc/user-settings.sample file | annotate | diff | comparison | revisions
lib/scripts/timestart.bash file | annotate | diff | comparison | revisions
lib/scripts/timestop.bash file | annotate | diff | comparison | revisions 
--- 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
 #
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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
--- 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
--- 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
--- 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"
--- 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"
--- 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
--- 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"
--- 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
--- 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"
--- 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
--- 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
--- 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
 
--- 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
 #
--- 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
 #
isabelle