changeset 30189 | 3633f560f4c3 |
parent 29599 | c369feeb6bbc |
child 30242 | aea5d7fa7ef5 |
1.1 --- a/etc/settings Sun Mar 01 16:22:37 2009 +0100 1.2 +++ b/etc/settings Sun Mar 01 16:48:06 2009 +0100 1.3 @@ -60,12 +60,6 @@ 1.4 #ML_OPTIONS="" 1.5 #ML_PLATFORM="" 1.6 1.7 -# Alice 1.4 (experimental!) 1.8 -#ML_SYSTEM=alice 1.9 -#ML_HOME="/usr/local/alice/bin" 1.10 -#ML_OPTIONS="" 1.11 -#ML_PLATFORM="" 1.12 - 1.13 1.14 ### 1.15 ### JVM components (Scala or Java)