lib/scripts/run-polyml-5.5.3
Tue, 18 Aug 2015 14:43:25 +0200 wenzelm proper platform path for intial PolyML.SaveState.loadState;
Tue, 18 Aug 2015 14:28:29 +0200 wenzelm proper platform path for initial load;
Mon, 17 Aug 2015 23:45:12 +0200 wenzelm basic setup for native Windows (RAW session without image);
Sat, 10 Jan 2015 21:22:25 +0100 wenzelm proper Session.save with shutdown, which is relevant to avoid persistent threads;
Mon, 29 Sep 2014 09:57:34 +0200 wenzelm pro-forma support for polyml-5.5.3 (presently SVN 1960);
less more (0) tip