diff -r c0f2e49bccfc -r 603d976d8cab etc/settings
--- a/etc/settings	Sat Feb 06 22:06:18 2010 +0100
+++ b/etc/settings	Sat Feb 06 22:54:53 2010 +0100
@@ -50,12 +50,6 @@
 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
 #SMLNJ_CYGWIN_RUNTIME=1
 
-# Moscow ML 2.00 (experimental!)
-#ML_SYSTEM=mosml
-#ML_HOME="/usr/local/mosml/bin"
-#ML_OPTIONS=""
-#ML_PLATFORM=""
-
 
 ###
 ### JVM components (Scala or Java)