etc/settings
changeset 16250 1a91cdebd604
parent 16186 6eb74e2cec7e
child 16419 0c3db621bbbd
     1.1 --- a/etc/settings	Sat Jun 04 22:45:28 2005 +0200
     1.2 +++ b/etc/settings	Sun Jun 05 11:31:13 2005 +0200
     1.3 @@ -46,6 +46,7 @@
     1.4  fi
     1.5  
     1.6  # Standard ML of New Jersey 110 or later
     1.7 +#SMLNJ_CYGWIN_RUNTIME=1
     1.8  #ML_SYSTEM=smlnj-110
     1.9  #ML_HOME="$ISABELLE_HOME/contrib/smlnj/bin"
    1.10  #ML_OPTIONS="@SMLdebug=/dev/null"