etc/settings

--- a/etc/settings	Fri Oct 16 18:50:20 1998 +0200
+++ b/etc/settings	Fri Oct 16 18:50:50 1998 +0200
@@ -37,7 +37,7 @@
 #ML_HOME=/usr/local/smlnj-110/bin
 #ML_OPTIONS="@SMLdebug=/dev/null"
 
-# MLWorks 1.0r2 or later -- still EXPERIMENTAL!!
+# MLWorks 1.0r2 or later (2.0 recommended)
 #ML_SYSTEM=mlworks
 #ML_HOME=/usr/local/mlworks/bin
 #ML_OPTIONS=""