lib/scripts/run-smlnj
2015-01-10 wenzelm 2015-01-10 proper Session.save with shutdown, which is relevant to avoid persistent threads;
2014-04-22 wenzelm 2014-04-22 more general exit;
2013-09-16 wenzelm 2013-09-16 prefer high-level ML_System.share_common_data, ML_System.save_state -- except for bootstrap images (RAW, Pure);
2012-08-03 wenzelm 2012-08-03 more informative process exit code;
2012-05-25 wenzelm 2012-05-25 potentially more convincing kill -TERM of feeder (cf. 32c03d45fffe) -- attempt to workaround spurious perl "hangs" on lxbroy10;
2010-11-15 wenzelm 2010-11-15 tuned error messages;
2010-09-22 wenzelm 2010-09-22 isabelle-process: less verbose no-commit mode;
2009-05-31 wenzelm 2009-05-31 removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled;
2009-05-31 wenzelm 2009-05-31 removed obsolete COPYDB flag;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
2000-09-28 wenzelm 2000-09-28 added COPYDB argument;
2000-09-15 wenzelm 2000-09-15 keep export of ISABELLE_TMP (!!!);
2000-09-15 wenzelm 2000-09-15 unexport exports;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
1999-01-11 wenzelm 1999-01-11 more robust heap file detection;
1998-10-21 wenzelm 1998-10-21 dropped support for SML/NJ 109.x;
1998-06-22 wenzelm 1998-06-22 check_mlhome_file;
1997-12-31 wenzelm 1997-12-31 use feeder to pipe into ML; cleaned up;
1997-12-15 wenzelm 1997-12-15 improved COMMIT_RO;
1997-12-12 wenzelm 1997-12-12 tuned;
1997-12-01 wenzelm 1997-12-01 ISABELLE_TMP;
1997-08-06 wenzelm 1997-08-06 removed smlnj-1.07;
1997-07-07 wenzelm 1997-07-07 NOWRITE;
1997-04-25 wenzelm 1997-04-25 removed COPYDB flag;
1997-04-25 wenzelm 1997-04-25 misc tuning;
1997-04-24 wenzelm 1997-04-24 adapted to SML/NJ 1.09.27; minor cleanup;
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);
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).