changeset 32853 | 8b63f949fc37 |
parent 32336 | e88b295aae35 |
child 33160 | ccbd4ad5a965 |
--- a/Admin/isatest/settings/mac-poly64-M8 Fri Oct 02 04:44:56 2009 +0200 +++ b/Admin/isatest/settings/mac-poly64-M8 Fri Oct 02 10:35:13 2009 +0200 @@ -4,7 +4,7 @@ ML_SYSTEM="polyml-experimental" ML_PLATFORM="x86_64-darwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" - ML_OPTIONS="--mutable 5000 --immutable 2000" + ML_OPTIONS="--mutable 4000 --immutable 2000" ISABELLE_HOME_USER=~/isabelle-mac-poly64-M8