isabelle: File revisions

lib/scripts/run-polyml

Sat, 10 Jan 2015 21:22:25 +0100	wenzelm	proper Session.save with shutdown, which is relevant to avoid persistent threads;	file \| diff \| annotate
Tue, 22 Apr 2014 11:47:57 +0200	wenzelm	more general exit;	file \| diff \| annotate
Mon, 16 Sep 2013 12:37:54 +0200	wenzelm	prefer high-level ML_System.share_common_data, ML_System.save_state -- except for bootstrap images (RAW, Pure);	file \| diff \| annotate
Thu, 01 Aug 2013 21:09:28 +0200	wenzelm	tuned;	file \| diff \| annotate
Wed, 13 Feb 2013 13:52:06 +0100	wenzelm	more thorough error handling of load/save (see also c1be3072ea8f);	file \| diff \| annotate
Fri, 03 Aug 2012 16:00:12 +0200	wenzelm	more informative process exit code;	file \| diff \| annotate
Fri, 25 May 2012 17:14:14 +0200	wenzelm	potentially more convincing kill -TERM of feeder (cf. 32c03d45fffe) -- attempt to workaround spurious perl "hangs" on lxbroy10;	file \| diff \| annotate
Wed, 19 Jan 2011 21:00:16 +0100	wenzelm	added librarypath: shared library convenience in bash, keeping LD_LIBRARY_PATH and DYLD_LIBRARY_PATH separate;	file \| diff \| annotate

isabelle