1.1 --- a/etc/settings	Wed Apr 21 17:11:34 1999 +0200
     1.2 +++ b/etc/settings	Wed Apr 21 18:46:58 1999 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4  
     1.5  # Standard ML of New Jersey 110 or later
     1.6  #ML_SYSTEM=smlnj-110
     1.7 -#ML_HOME=/usr/local/smlnj-110/bin
     1.8 +#ML_HOME=/usr/share/smlnj/bin
     1.9  #ML_OPTIONS="@SMLdebug=/dev/null"
    1.10  #ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys); echo $HEAP_SUFFIX)
    1.11