lib/scripts/run-polyml-5.5.2
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-12-11 wenzelm 2013-12-11 support for polml-5.5.2; support Thread.numPhysicalProcessors of polyml-5.5.2 (according to SVN 1890); clarified max_threads: store plain value internally, reproduce result only on startup, and thus avoid potential system overhead;