etc/settings

--- a/etc/settings	Sun Mar 01 16:22:37 2009 +0100
+++ b/etc/settings	Sun Mar 01 16:48:06 2009 +0100
@@ -60,12 +60,6 @@
 #ML_OPTIONS=""
 #ML_PLATFORM=""
 
-# Alice 1.4 (experimental!)
-#ML_SYSTEM=alice
-#ML_HOME="/usr/local/alice/bin"
-#ML_OPTIONS=""
-#ML_PLATFORM=""
-
 
 ###
 ### JVM components (Scala or Java)