changeset 60195 | 8cdd0e771d93 |
parent 57585 | ce06a901c050 |
child 62455 | 2026ef279d1e |
--- a/Admin/isatest/settings/mac-poly64-M2 Fri Apr 24 14:56:47 2015 +0200 +++ b/Admin/isatest/settings/mac-poly64-M2 Fri Apr 24 15:02:12 2015 +0200 @@ -2,8 +2,8 @@ init_components /home/isabelle/contrib "$HOME/admin/components/main" - POLYML_HOME="/home/polyml/polyml-5.4.0" - ML_SYSTEM="polyml-5.4.0" + POLYML_HOME="/home/polyml/polyml-5.5.0" + ML_SYSTEM="polyml-5.5.0" ML_PLATFORM="x86_64-darwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 1000"