lib/scripts/run-polyml-5.5.1
Sat, 10 Jan 2015 21:22:25 +0100 wenzelm proper Session.save with shutdown, which is relevant to avoid persistent threads;
less more (0) -1 tip