lib/scripts/run-smlnj-0.93
changeset 4333 1d326b826851
parent 3503 390093b95cb0
child 4513 6de428eac512
equal deleted inserted replaced
4332:d4a15e32c024 4333:1d326b826851
     2 #
     2 #
     3 # $Id$
     3 # $Id$
     4 #
     4 #
     5 # SML/NJ startup script (for 0.93).
     5 # SML/NJ startup script (for 0.93).
     6 #
     6 #
     7 # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE,
     7 # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE ISABELLE_TMP,
     8 # and from settings
     8 # and from settings
     9 
     9 
    10 
    10 
    11 ## diagnostics
    11 ## diagnostics
    12 
    12