Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Admin/isatest/settings/at-sml-dev-e
changeset 31310 b5365a9db718
parent 26371 8e4286e2bffe
child 33502 cf392b693385
equal deleted inserted replaced
31309:be0c4236fe44 31310:b5365a9db718 
     1 # -*- shell-script -*-
 
     1 # -*- shell-script -*- :mode=shellscript:
 
     2 
     2 
     3 # Standard ML of New Jersey 110 or later
 
     3 # Standard ML of New Jersey 110 or later
 
     4 ML_SYSTEM=smlnj
 
     4 ML_SYSTEM=smlnj
 
     5 ML_HOME="/home/smlnj/110.67/bin"
 
     5 ML_HOME="/home/smlnj/110.67/bin"
 
     6 ML_OPTIONS="@SMLdebug=/dev/null"
 
     6 ML_OPTIONS="@SMLdebug=/dev/null"
wneuper/isa