--- a/etc/settings Sat Jun 04 22:45:28 2005 +0200
+++ b/etc/settings Sun Jun 05 11:31:13 2005 +0200
@@ -46,6 +46,7 @@
fi
# Standard ML of New Jersey 110 or later
+#SMLNJ_CYGWIN_RUNTIME=1
#ML_SYSTEM=smlnj-110
#ML_HOME="$ISABELLE_HOME/contrib/smlnj/bin"
#ML_OPTIONS="@SMLdebug=/dev/null"