Tue, 18 Aug 2015 14:43:25 +0200 | wenzelm | proper platform path for intial PolyML.SaveState.loadState; | file | diff | annotate |
Tue, 18 Aug 2015 14:28:29 +0200 | wenzelm | proper platform path for initial load; | file | diff | annotate |
Mon, 17 Aug 2015 23:45:12 +0200 | wenzelm | basic setup for native Windows (RAW session without image); | file | diff | annotate |
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 |