simplified polyml example;
authorwenzelm
Fri Feb 10 02:22:13 2006 +0100 (2006-02-10)
changeset 1898761c7875a58b8
parent 18986 5060ca625e02
child 18988 d6e5fa2ba8b8
simplified polyml example;
etc/settings
     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