| Sat, 10 Jan 2015 21:22:25 +0100 | wenzelm | proper Session.save with shutdown, which is relevant to avoid persistent threads; | file | diff | annotate |
| Mon, 29 Sep 2014 09:57:34 +0200 | wenzelm | pro-forma support for polyml-5.5.3 (presently SVN 1960); | file | diff | annotate | base |