| 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 |
| Wed, 11 Dec 2013 18:02:22 +0100 | wenzelm | support for polml-5.5.2; | file | diff | annotate | base |