lib/scripts/run-smlnj
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-04-11 wenzelm 1997-04-11 fixed { ... } shell syntax to accomodate bash 2.x;
1997-02-14 wenzelm 1997-02-14 semi fix of piping-quit peoblem (should work on systems with *real* sh);
1996-12-17 wenzelm 1996-12-17 fixed ML_HOME; chmod fix;
1996-12-16 wenzelm 1996-12-16 minor tuning;
1996-12-09 wenzelm 1996-12-09 various fixes;
1996-12-04 wenzelm 1996-12-04 fixed commit emulation;
1996-12-04 wenzelm 1996-12-04 replaced cat by ucat;
1996-12-02 wenzelm 1996-12-02 run-smlnj: SML/NJ startup script (for 1.06 or later).