# HG changeset patch
# User wenzelm
# Date 1086433609 -7200
# Node ID 1dad51c852adaf11a8c375cfd20ca099ee437ff8
# Parent  c5cf7c001313dd4ca6f33e805da0b6da518e4fb2
removed mlworks and smlnj-0.93 (obsolete);

diff -r c5cf7c001313 -r 1dad51c852ad etc/settings
--- 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