Admin/polyml/settings
Mon, 27 Nov 2017 15:10:50 +0100 wenzelm updated to official release of polyml-5.7.1;
Tue, 07 Nov 2017 10:22:10 +0100 wenzelm more recent polyml-test version;
Sun, 22 Oct 2017 14:36:21 +0200 wenzelm more recent polyml-test version;
Tue, 03 Oct 2017 12:30:36 +0200 wenzelm more recent polyml-test version;
Mon, 25 Sep 2017 20:43:21 +0200 wenzelm basic support for x86_64-cygwin;
Sat, 10 Dec 2016 15:45:16 +0100 wenzelm updated Poly/ML repository test version (08-Dec-2016);
Mon, 23 Nov 2015 17:56:11 +0100 wenzelm updated to polyml-5.6-20151123;
Fri, 11 Sep 2015 21:44:39 +0200 wenzelm fully detached test run, to avoid flashing window on Windows with Cygwin-Terminal;
Fri, 11 Sep 2015 17:57:34 +0200 wenzelm convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
Tue, 08 Sep 2015 20:06:17 +0200 wenzelm updated to polyml-5.5.3-20150908, with support for x86_64-windows and Unicode file-names;
Thu, 20 Aug 2015 14:13:00 +0200 wenzelm updated to polyml-5.5.3-20150820, with native x86-windows support;
Wed, 14 May 2014 12:00:18 +0200 wenzelm updated to polyml-5.5.2;
Tue, 17 Sep 2013 21:12:41 +0200 wenzelm updated to polyml-5.5.1;
Sat, 26 Jan 2013 19:52:49 +0100 wenzelm tuned ML platform fallback;
Wed, 26 Sep 2012 16:37:21 +0200 wenzelm tuned message;
Mon, 17 Sep 2012 12:19:41 +0200 wenzelm some updates for polyml-5.5.0;
Wed, 29 Aug 2012 20:16:22 +0200 wenzelm provide polyml-5.4.1 as regular component;
less more (0) tip