| 2015-01-10 | wenzelm | proper Session.save with shutdown, which is relevant to avoid persistent threads; | file | diff | annotate |
| 2014-04-22 | wenzelm | more general exit; | file | diff | annotate |
| 2013-12-11 | wenzelm | support for polml-5.5.2; | file | diff | annotate | base |