--- a/etc/settings Sat Jun 05 13:06:39 2004 +0200
+++ b/etc/settings Sat Jun 05 13:06:49 2004 +0200
@@ -51,24 +51,12 @@
#ML_OPTIONS="@SMLdebug=/dev/null"
#ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
-# MLWorks 2.0
-#ML_SYSTEM=mlworks
-#ML_HOME="$ISABELLE_HOME/../mlworks/bin"
-#ML_OPTIONS=""
-#ML_PLATFORM=""
-
# Moscow ML 2.00 or later (experimental!)
#ML_SYSTEM=mosml
#ML_HOME="$ISABELLE_HOME/../mosml/bin"
#ML_PLATFORM=""
#ML_OPTIONS=""
-# Standard ML of New Jersey 0.93
-#ML_SYSTEM=smlnj-0.93
-#ML_HOME=/usr/local/ldist/DIR/sml-0.93/src
-#ML_OPTIONS=""
-#ML_PLATFORM=""
-
###
### Compilation options for isatool usedir