changeset 45914 | eaf6728d2512 |
parent 42423 | 5a7217f098bd |
child 46007 | 493d9c4d7ed5 |
--- a/Admin/isatest/settings/mac-poly-M2 Sat Dec 17 16:24:14 2011 +0100 +++ b/Admin/isatest/settings/mac-poly-M2 Sun Dec 18 14:28:14 2011 +0100 @@ -4,7 +4,7 @@ ML_SYSTEM="polyml-5.4.0" ML_PLATFORM="x86-darwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" - ML_OPTIONS="--mutable 500 --immutable 500" + ML_OPTIONS="-H 500" ISABELLE_HOME_USER=~/isabelle-at-mac-poly-e