author | wenzelm |
Thu, 01 Aug 2013 20:45:49 +0200 | |
changeset 52830 | cfa2367d7212 |
parent 52827 | 395d3df496ed |
child 52831 | 72bbdc64d0de |
--- a/Admin/isatest/settings/at-poly-test Thu Aug 01 18:13:31 2013 +0200 +++ b/Admin/isatest/settings/at-poly-test Thu Aug 01 20:45:49 2013 +0200 @@ -3,7 +3,7 @@ init_components /home/isabelle/contrib "$HOME/admin/components/main" POLYML_HOME="/home/polyml/polyml-svn" - ML_SYSTEM="polyml-5.5.0" + ML_SYSTEM="polyml-5.5.1" ML_PLATFORM="x86-linux" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 500 --gcthreads 1"