changeset 47979 | 59ec72d3d0b9 |
parent 47744 | af81dc62a281 |
child 48629 | 2348fedfa076 |
--- a/Admin/isatest/settings/at-poly Thu May 24 14:46:14 2012 +0200 +++ b/Admin/isatest/settings/at-poly Thu May 24 15:01:17 2012 +0200 @@ -1,7 +1,7 @@ # -*- shell-script -*- :mode=shellscript: - POLYML_HOME="/home/polyml/polyml-5.2.1" - ML_SYSTEM="polyml-5.2.1" + POLYML_HOME="/home/polyml/polyml-5.3.0" + ML_SYSTEM="polyml-5.3.0" ML_PLATFORM="x86-linux" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 500"