| changeset 5708 | fb09ab6a447f |
| parent 5063 | d45ec8d00ab0 |
| child 6078 | e01e2328d0f0 |
--- a/lib/scripts/run-smlnj Wed Oct 21 13:31:30 1998 +0200 +++ b/lib/scripts/run-smlnj Wed Oct 21 14:05:49 1998 +0200 @@ -2,7 +2,7 @@ # # $Id$ # -# SML/NJ startup script (for 109.27-109.33, 110 or later). +# SML/NJ startup script (for 110 or later). # # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE ISABELLE_TMP, # and from settings