| changeset 44976 | a75936954fac |
| parent 41967 | 6aa69999da8f |
| child 48629 | 2348fedfa076 |
--- a/Admin/isatest/settings/at-sml-dev-e Sun Sep 18 15:59:38 2011 +0200 +++ b/Admin/isatest/settings/at-sml-dev-e Sun Sep 18 16:11:26 2011 +0200 @@ -2,7 +2,7 @@ # Standard ML of New Jersey 110 or later ML_SYSTEM=smlnj -ML_HOME="/home/smlnj/110.72/bin" +ML_HOME="/home/smlnj/110.73/bin" ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=256" ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")