lib/scripts/run-smlnj
Wed, 04 Dec 1996 17:02:19 +0100 wenzelm fixed commit emulation;
Wed, 04 Dec 1996 13:17:50 +0100 wenzelm replaced cat by ucat;
Mon, 02 Dec 1996 18:24:38 +0100 wenzelm run-smlnj: SML/NJ startup script (for 1.06 or later).
less more (0) tip