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 #