Admin/polyml/settings
Sun, 07 Nov 2021 23:35:11 +0100 wenzelm proper support for arm64;
Sat, 30 Oct 2021 13:12:22 +0200 wenzelm test version of prespective polyml-5.9;
Tue, 11 Aug 2020 13:15:58 +0200 wenzelm updated to polyml-test-159dc81efc3b;
Sun, 19 Jan 2020 14:50:03 +0100 wenzelm clarified file names;
Sun, 19 Jan 2020 14:23:49 +0100 wenzelm clarified build_polyml_component: include IDE entry point for ML compiler;
Fri, 01 Nov 2019 19:40:55 +0100 wenzelm updated to polyml-5.8.1-20191101 test version;
Wed, 20 Feb 2019 12:10:40 +0100 wenzelm updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
Mon, 21 Jan 2019 20:03:20 +0100 wenzelm updated polyml platform: 32=x86_64_32;
Fri, 09 Feb 2018 11:47:18 +0100 wenzelm removed obsolete polyi executable: change of DYLD_LIBRARY_PATH is not required;
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