author | wenzelm |
Wed, 28 Jul 1999 22:01:58 +0200 | |
changeset 7126 | fdb397af4cab |
parent 7125 | df7cf6e85501 |
child 7127 | 48e235179ffb |
etc/settings | file | annotate | diff | comparison | revisions |
--- a/etc/settings Wed Jul 28 19:14:33 1999 +0200 +++ b/etc/settings Wed Jul 28 22:01:58 1999 +0200 @@ -13,7 +13,7 @@ # Standard ML of New Jersey 110 or later ML_SYSTEM=smlnj-110 -ML_HOME=/usr/share/smlnj/bin +ML_HOME=$ISABELLE_HOME/../smlnj/bin ML_OPTIONS="@SMLdebug=/dev/null" ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys 2>/dev/null); echo $HEAP_SUFFIX)