# HG changeset patch
# User wenzelm
# Date 908556650 -7200
# Node ID e2a2be6089b43287196ff763cd407208e3ded97e
# Parent  082debccf486683a24b4530873b208e5101fd1c6
MLWorks 2.0;

diff -r 082debccf486 -r e2a2be6089b4 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=""