changeset 60195 | 8cdd0e771d93 |
parent 58890 | 0ca19a9fdc60 |
--- a/Admin/isatest/settings/at-poly-e Fri Apr 24 14:56:47 2015 +0200 +++ b/Admin/isatest/settings/at-poly-e 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.3.0" - ML_SYSTEM="polyml-5.3.0" + POLYML_HOME="/home/polyml/polyml-5.4.1" + ML_SYSTEM="polyml-5.4.1" ML_PLATFORM="x86-linux" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 1000"