NJ 1.09.2x as factory default! Isabelle94-8
authorwenzelm
Tue May 27 15:45:07 1997 +0200 (1997-05-27)
changeset 33620b268cff9344
parent 3361 1877e333f66c
child 3363 8557c2a1750c
NJ 1.09.2x as factory default!
etc/settings
     1.1 --- a/etc/settings	Tue May 27 15:07:02 1997 +0200
     1.2 +++ b/etc/settings	Tue May 27 15:45:07 1997 +0200
     1.3 @@ -17,10 +17,10 @@
     1.4  #ML_OPTIONS="-h 30000"
     1.5  
     1.6  # Poly/ML 3.1
     1.7 -ML_SYSTEM=polyml-3.1
     1.8 -ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
     1.9 -ML_OPTIONS="-h 30000"
    1.10 -LM_LICENSE_FILE=$ML_HOME/license.dat
    1.11 +#ML_SYSTEM=polyml-3.1
    1.12 +#ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    1.13 +#ML_OPTIONS="-h 30000"
    1.14 +#LM_LICENSE_FILE=$ML_HOME/license.dat
    1.15  
    1.16  # Standard ML of New Jersey 0.93
    1.17  #ML_SYSTEM=smlnj-0.93
    1.18 @@ -32,10 +32,10 @@
    1.19  #ML_HOME=/usr/local/sml107/bin
    1.20  #ML_OPTIONS="@SMLdebug=/dev/null"
    1.21  
    1.22 -# Standard ML of New Jersey 1.09.27, or later
    1.23 -#ML_SYSTEM=smlnj-1.09
    1.24 -#ML_HOME=/usr/local/sml109.27/bin
    1.25 -#ML_OPTIONS="@SMLdebug=/dev/null"
    1.26 +# Standard ML of New Jersey 1.09.27, 1.09.28, or later
    1.27 +ML_SYSTEM=smlnj-1.09
    1.28 +ML_HOME=/usr/local/sml109.27/bin
    1.29 +ML_OPTIONS="@SMLdebug=/dev/null"
    1.30  
    1.31  
    1.32  ###