1.1 --- a/etc/settings Thu Feb 09 12:20:31 2006 +0100
1.2 +++ b/etc/settings Fri Feb 10 02:22:13 2006 +0100
1.3 @@ -30,10 +30,10 @@
1.4 ML_OPTIONS="-H 80"
1.5 ML_DBASE=""
1.6
1.7 -# Poly/ML 4.x
1.8 -#ML_PLATFORM=$("$ISABELLE_HOME/lib/scripts/polyml-platform")
1.9 -#ML_HOME="$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM/$ML_PLATFORM"
1.10 -#ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
1.11 +# Poly/ML 4.2.0 (manual settings)
1.12 +#ML_PLATFORM=x86-linux
1.13 +#ML_HOME=/usr/local/polyml/x86-linux"
1.14 +#ML_SYSTEM=polyml-4.2.0
1.15 #ML_OPTIONS="-H 80"
1.16
1.17 # Standard ML of New Jersey 110 or later