lib/scripts/run-smlnj-0.93
1997-04-25 wenzelm 1997-04-25 removed COPYDB flag;
1997-04-22 wenzelm 1997-04-22 fixed bash-2.0 problem;
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);
1997-01-23 wenzelm 1997-01-23 'rm -f' instead of 'mv -f';
1996-12-18 wenzelm 1996-12-18 fixed EXIT def;
1996-12-16 wenzelm 1996-12-16 SML/NJ startup script (for 0.93).