# HG changeset patch
# User wenzelm
# Date 882377958 -3600
# Node ID a8f5293f7cbc8450fa287e01981dea66f40f355d
# Parent  22f31e6e5aad2a4b8d88c28d61ca8fdc9cd84769
added mlworks;

diff -r 22f31e6e5aad -r a8f5293f7cbc etc/settings
--- a/etc/settings	Wed Dec 17 17:51:39 1997 +0100
+++ b/etc/settings	Wed Dec 17 17:59:18 1997 +0100
@@ -37,6 +37,11 @@
 #ML_HOME=/usr/local/smlnj-110/bin
 #ML_OPTIONS="@SMLdebug=/dev/null"
 
+# MLWorks 1.0r2 or later -- still EXPERIMENTAL!!
+#ML_SYSTEM=mlworks
+#ML_HOME=/usr/local/mlworks/bin
+#ML_OPTIONS=""
+
 
 ###
 ### Compilation options