author | wenzelm |
Mon, 31 Dec 2012 12:09:51 +0100 | |
changeset 50644 | d15f1c39401c |
parent 50643 | 09394eaf6804 |
child 50645 | cb8f93361e86 |
--- a/Admin/isatest/settings/at-sml-dev-e Sun Dec 30 21:49:20 2012 +0100 +++ b/Admin/isatest/settings/at-sml-dev-e Mon Dec 31 12:09:51 2012 +0100 @@ -3,7 +3,7 @@ init_components /home/isabelle/contrib "$HOME/admin/components/main" ML_SYSTEM=smlnj -ML_HOME="/home/smlnj/110.74/bin" +ML_HOME="/home/smlnj/110.75/bin" ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024" ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")