# HG changeset patch
# User wenzelm
# Date 1117963873 -7200
# Node ID 1a91cdebd6045de00eeea2a5902225ef574e4279
# Parent  7fefdd1a40a219aa650827b72fdbc163845f7444
#SMLNJ_CYGWIN_RUNTIME=1

diff -r 7fefdd1a40a2 -r 1a91cdebd604 etc/settings
--- 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"