tuned ML_OPTIONS;
authorwenzelm
Tue Aug 02 21:29:06 2005 +0200 (2005-08-02)
changeset 1700569c415d44883
parent 17004 6a0d8ecf65f1
child 17006 cffca870816a
tuned ML_OPTIONS;
etc/settings
     1.1 --- a/etc/settings	Tue Aug 02 19:47:14 2005 +0200
     1.2 +++ b/etc/settings	Tue Aug 02 21:29:06 2005 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4    "/opt/polyml/$ML_PLATFORM" \
     1.5    $POLY_HOME)
     1.6  ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
     1.7 -ML_OPTIONS="-h 50000"
     1.8 +ML_OPTIONS="-H 80"
     1.9  
    1.10  # Standard ML of New Jersey 110 or later
    1.11  #SMLNJ_CYGWIN_RUNTIME=1