#SMLNJ_CYGWIN_RUNTIME=1

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