1.1 --- a/etc/settings	Sat Feb 06 22:06:18 2010 +0100
     1.2 +++ b/etc/settings	Sat Feb 06 22:54:53 2010 +0100
     1.3 @@ -50,12 +50,6 @@
     1.4  #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
     1.5  #SMLNJ_CYGWIN_RUNTIME=1
     1.6  
     1.7 -# Moscow ML 2.00 (experimental!)
     1.8 -#ML_SYSTEM=mosml
     1.9 -#ML_HOME="/usr/local/mosml/bin"
    1.10 -#ML_OPTIONS=""
    1.11 -#ML_PLATFORM=""
    1.12 -
    1.13  
    1.14  ###
    1.15  ### JVM components (Scala or Java)