etc/settings

--- a/etc/settings	Fri Mar 04 11:44:26 2005 +0100
+++ b/etc/settings	Fri Mar 04 15:07:34 2005 +0100
@@ -46,7 +46,7 @@
 
 # Standard ML of New Jersey 110 or later
 #ML_SYSTEM=smlnj-110
-#ML_HOME="$ISABELLE_HOME/../smlnj/bin"
+#ML_HOME="/usr/local/smlnj/bin"
 #ML_OPTIONS="@SMLdebug=/dev/null"
 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")