# 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=""