uniform treatment of shellscript mode;
authorwenzelm
Sun May 31 14:20:54 2009 +0200 (2009-05-31)
changeset 31310b5365a9db718
parent 31309 be0c4236fe44
child 31311 b82e55f51dcc
uniform treatment of shellscript mode;
Admin/isatest/isatest-settings
Admin/isatest/settings/annomaly
Admin/isatest/settings/at-mac-poly-5.1-para
Admin/isatest/settings/at-poly
Admin/isatest/settings/at-poly-5.1-para-e
Admin/isatest/settings/at-poly-dev-e
Admin/isatest/settings/at-sml
Admin/isatest/settings/at-sml-dev-e
Admin/isatest/settings/at-sml-dev-p
Admin/isatest/settings/at64-poly
Admin/isatest/settings/at64-poly-5.1-para
Admin/isatest/settings/at64-sml-dev
Admin/isatest/settings/mac-poly
Admin/isatest/settings/mac-sml-dev
Admin/isatest/settings/sun-poly
Admin/isatest/settings/sun-sml
Admin/isatest/settings/sun-sml-dev
etc/user-settings.sample
lib/scripts/timestart.bash
lib/scripts/timestop.bash
     1.1 --- a/Admin/isatest/isatest-settings	Sun May 31 14:16:32 2009 +0200
     1.2 +++ b/Admin/isatest/isatest-settings	Sun May 31 14:20:54 2009 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -# -*- shell-script -*-
     1.5 +# -*- shell-script -*- :mode=shellscript:
     1.6  # $Id$
     1.7  # Author: Gerwin Klein, NICTA
     1.8  #
     2.1 --- a/Admin/isatest/settings/annomaly	Sun May 31 14:16:32 2009 +0200
     2.2 +++ b/Admin/isatest/settings/annomaly	Sun May 31 14:20:54 2009 +0200
     2.3 @@ -1,3 +1,5 @@
     2.4 +# -*- shell-script -*- :mode=shellscript:
     2.5 +
     2.6  ML_SYSTEM=annomaly
     2.7  ML_HOME="$SMLNJ_HOME/bin"
     2.8  ML_OPTIONS="-m $SMLNJ_HOME/annomaly/annomaly.cm @SMLdebug=/dev/null"
     3.1 --- a/Admin/isatest/settings/at-mac-poly-5.1-para	Sun May 31 14:16:32 2009 +0200
     3.2 +++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Sun May 31 14:20:54 2009 +0200
     3.3 @@ -1,4 +1,4 @@
     3.4 -# -*- shell-script -*-
     3.5 +# -*- shell-script -*- :mode=shellscript:
     3.6  
     3.7    POLYML_HOME="/home/polyml/polyml-5.2.1"
     3.8    ML_SYSTEM="polyml-5.2.1"
     4.1 --- a/Admin/isatest/settings/at-poly	Sun May 31 14:16:32 2009 +0200
     4.2 +++ b/Admin/isatest/settings/at-poly	Sun May 31 14:20:54 2009 +0200
     4.3 @@ -1,4 +1,4 @@
     4.4 -# -*- shell-script -*-
     4.5 +# -*- shell-script -*- :mode=shellscript:
     4.6  
     4.7    POLYML_HOME="/home/polyml/polyml-5.2"
     4.8    ML_SYSTEM="polyml-5.2"
     5.1 --- a/Admin/isatest/settings/at-poly-5.1-para-e	Sun May 31 14:16:32 2009 +0200
     5.2 +++ b/Admin/isatest/settings/at-poly-5.1-para-e	Sun May 31 14:20:54 2009 +0200
     5.3 @@ -1,4 +1,4 @@
     5.4 -# -*- shell-script -*-
     5.5 +# -*- shell-script -*- :mode=shellscript:
     5.6  
     5.7    POLYML_HOME="/home/polyml/polyml-5.2.1"
     5.8    ML_SYSTEM="polyml-5.2.1"
     6.1 --- a/Admin/isatest/settings/at-poly-dev-e	Sun May 31 14:16:32 2009 +0200
     6.2 +++ b/Admin/isatest/settings/at-poly-dev-e	Sun May 31 14:20:54 2009 +0200
     6.3 @@ -1,4 +1,4 @@
     6.4 -# -*- shell-script -*-
     6.5 +# -*- shell-script -*- :mode=shellscript:
     6.6  
     6.7    POLYML_HOME="/home/polyml/polyml-5.2"
     6.8    ML_SYSTEM="polyml-5.2"
     7.1 --- a/Admin/isatest/settings/at-sml	Sun May 31 14:16:32 2009 +0200
     7.2 +++ b/Admin/isatest/settings/at-sml	Sun May 31 14:20:54 2009 +0200
     7.3 @@ -1,4 +1,4 @@
     7.4 -# -*- shell-script -*-
     7.5 +# -*- shell-script -*- :mode=shellscript:
     7.6  
     7.7  # Standard ML of New Jersey 110 or later
     7.8  ML_SYSTEM=smlnj-110.0.7
     8.1 --- a/Admin/isatest/settings/at-sml-dev-e	Sun May 31 14:16:32 2009 +0200
     8.2 +++ b/Admin/isatest/settings/at-sml-dev-e	Sun May 31 14:20:54 2009 +0200
     8.3 @@ -1,4 +1,4 @@
     8.4 -# -*- shell-script -*-
     8.5 +# -*- shell-script -*- :mode=shellscript:
     8.6  
     8.7  # Standard ML of New Jersey 110 or later
     8.8  ML_SYSTEM=smlnj
     9.1 --- a/Admin/isatest/settings/at-sml-dev-p	Sun May 31 14:16:32 2009 +0200
     9.2 +++ b/Admin/isatest/settings/at-sml-dev-p	Sun May 31 14:20:54 2009 +0200
     9.3 @@ -1,4 +1,4 @@
     9.4 -# -*- shell-script -*-
     9.5 +# -*- shell-script -*- :mode=shellscript:
     9.6  
     9.7  # Standard ML of New Jersey 110 or later
     9.8  ML_SYSTEM=smlnj
    10.1 --- a/Admin/isatest/settings/at64-poly	Sun May 31 14:16:32 2009 +0200
    10.2 +++ b/Admin/isatest/settings/at64-poly	Sun May 31 14:20:54 2009 +0200
    10.3 @@ -1,4 +1,4 @@
    10.4 -# -*- shell-script -*-
    10.5 +# -*- shell-script -*- :mode=shellscript:
    10.6  
    10.7    POLYML_HOME="/home/polyml/polyml-5.2"
    10.8    ML_SYSTEM="polyml-5.2"
    11.1 --- a/Admin/isatest/settings/at64-poly-5.1-para	Sun May 31 14:16:32 2009 +0200
    11.2 +++ b/Admin/isatest/settings/at64-poly-5.1-para	Sun May 31 14:20:54 2009 +0200
    11.3 @@ -1,4 +1,4 @@
    11.4 -# -*- shell-script -*-
    11.5 +# -*- shell-script -*- :mode=shellscript:
    11.6  
    11.7    POLYML_HOME="/home/polyml/polyml-5.2.1"
    11.8    ML_SYSTEM="polyml-5.2.1"
    12.1 --- a/Admin/isatest/settings/at64-sml-dev	Sun May 31 14:16:32 2009 +0200
    12.2 +++ b/Admin/isatest/settings/at64-sml-dev	Sun May 31 14:20:54 2009 +0200
    12.3 @@ -1,4 +1,4 @@
    12.4 -# -*- shell-script -*-
    12.5 +# -*- shell-script -*- :mode=shellscript:
    12.6  
    12.7  # Standard ML of New Jersey 110 or later
    12.8  ML_SYSTEM=smlnj
    13.1 --- a/Admin/isatest/settings/mac-poly	Sun May 31 14:16:32 2009 +0200
    13.2 +++ b/Admin/isatest/settings/mac-poly	Sun May 31 14:20:54 2009 +0200
    13.3 @@ -1,4 +1,4 @@
    13.4 -# -*- shell-script -*-
    13.5 +# -*- shell-script -*- :mode=shellscript:
    13.6  
    13.7    POLYML_HOME="/home/polyml/polyml-5.2"
    13.8    ML_SYSTEM="polyml-5.2"
    14.1 --- a/Admin/isatest/settings/mac-sml-dev	Sun May 31 14:16:32 2009 +0200
    14.2 +++ b/Admin/isatest/settings/mac-sml-dev	Sun May 31 14:20:54 2009 +0200
    14.3 @@ -1,4 +1,4 @@
    14.4 -# -*- shell-script -*-
    14.5 +# -*- shell-script -*- :mode=shellscript:
    14.6  
    14.7  # Standard ML of New Jersey 110 or later
    14.8  ML_SYSTEM=smlnj
    15.1 --- a/Admin/isatest/settings/sun-poly	Sun May 31 14:16:32 2009 +0200
    15.2 +++ b/Admin/isatest/settings/sun-poly	Sun May 31 14:20:54 2009 +0200
    15.3 @@ -1,4 +1,4 @@
    15.4 -# -*- shell-script -*-
    15.5 +# -*- shell-script -*- :mode=shellscript:
    15.6  
    15.7    POLYML_HOME="/home/polyml/polyml-5.1"
    15.8    ML_SYSTEM="polyml-5.1"
    16.1 --- a/Admin/isatest/settings/sun-sml	Sun May 31 14:16:32 2009 +0200
    16.2 +++ b/Admin/isatest/settings/sun-sml	Sun May 31 14:20:54 2009 +0200
    16.3 @@ -1,4 +1,4 @@
    16.4 -# -*- shell-script -*-
    16.5 +# -*- shell-script -*- :mode=shellscript:
    16.6  
    16.7  # Standard ML of New Jersey 110.0.7 (stable version)
    16.8  ML_SYSTEM=smlnj-110.0.7
    17.1 --- a/Admin/isatest/settings/sun-sml-dev	Sun May 31 14:16:32 2009 +0200
    17.2 +++ b/Admin/isatest/settings/sun-sml-dev	Sun May 31 14:20:54 2009 +0200
    17.3 @@ -1,4 +1,4 @@
    17.4 -# -*- shell-script -*-
    17.5 +# -*- shell-script -*- :mode=shellscript:
    17.6  
    17.7  # Standard ML of New Jersey 110 or later
    17.8  ML_SYSTEM=smlnj-110
    18.1 --- a/etc/user-settings.sample	Sun May 31 14:16:32 2009 +0200
    18.2 +++ b/etc/user-settings.sample	Sun May 31 14:20:54 2009 +0200
    18.3 @@ -1,4 +1,4 @@
    18.4 -# -*- shell-script -*-
    18.5 +# -*- shell-script -*- :mode=shellscript:
    18.6  #
    18.7  # Isabelle user settings sample -- for use in ~/.isabelle/etc/settings
    18.8  
    19.1 --- a/lib/scripts/timestart.bash	Sun May 31 14:16:32 2009 +0200
    19.2 +++ b/lib/scripts/timestart.bash	Sun May 31 14:20:54 2009 +0200
    19.3 @@ -1,4 +1,4 @@
    19.4 -# -*- shell-script -*-
    19.5 +# -*- shell-script -*- :mode=shellscript:
    19.6  #
    19.7  # Author: Makarius
    19.8  #
    20.1 --- a/lib/scripts/timestop.bash	Sun May 31 14:16:32 2009 +0200
    20.2 +++ b/lib/scripts/timestop.bash	Sun May 31 14:20:54 2009 +0200
    20.3 @@ -1,4 +1,4 @@
    20.4 -# -*- shell-script -*-
    20.5 +# -*- shell-script -*- :mode=shellscript:
    20.6  #
    20.7  # Author: Makarius
    20.8  #