Admin/polyml/README
Fri, 07 May 2021 13:34:01 +0200 wenzelm updated to polyml-5.8.2 (official release);
Thu, 19 Nov 2020 17:46:58 +0100 wenzelm updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
Sun, 01 Nov 2020 14:04:52 +0100 wenzelm updated to polyml-test-cf46747fee61 --- follow current ongoing development, with notable changes to structure Foreign;
Wed, 14 Oct 2020 21:36:17 +0200 wenzelm updated to polyml-test-d68c6736402e --- follow current ongoing development;
Tue, 25 Aug 2020 22:56:34 +0200 wenzelm updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;
Tue, 11 Aug 2020 19:01:31 +0200 wenzelm updated to polyml-test-f54aa41240d0;
Tue, 11 Aug 2020 13:15:58 +0200 wenzelm updated to polyml-test-159dc81efc3b;
Tue, 21 Jul 2020 12:37:00 +0200 wenzelm updated to polyml-5.8.1 (official release);
Wed, 08 Jul 2020 16:35:23 +0200 wenzelm updated to polyml-5.8.1-20200708: recent repository version for testing;
Fri, 28 Feb 2020 21:34:04 +0100 wenzelm updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);
Sun, 24 Nov 2019 22:54:42 +0100 wenzelm updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);
Thu, 14 Nov 2019 11:49:54 +0100 wenzelm updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;
Wed, 13 Nov 2019 20:21:05 +0100 wenzelm updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);
Fri, 01 Nov 2019 19:40:55 +0100 wenzelm updated to polyml-5.8.1-20191101 test version;
Tue, 12 Mar 2019 15:34:33 +0100 wenzelm updated to polyml-5.8 (official release);
Wed, 06 Mar 2019 19:29:46 +0100 wenzelm updated to polyml-5.8-20190306;
Wed, 20 Feb 2019 12:10:40 +0100 wenzelm updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
Sun, 17 Feb 2019 19:31:04 +0100 wenzelm updated to polyml-test-8fda4fd22441;
Fri, 01 Feb 2019 15:45:59 +0100 wenzelm updated to polyml-test-b68438d33c69;
Thu, 31 Jan 2019 21:21:44 +0100 wenzelm updated to polyml-test-1236652ebd55;
Sun, 27 Jan 2019 17:30:09 +0100 wenzelm updated to polyml-test-1b2dcf8f5202;
Wed, 23 Jan 2019 23:07:21 +0100 wenzelm updated to polyml-test-a444f281ccec;
Mon, 21 Jan 2019 20:03:20 +0100 wenzelm updated polyml platform: 32=x86_64_32;
Sat, 28 Jul 2018 17:25:40 +0200 wenzelm updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
Sun, 22 Jul 2018 14:01:52 +0200 wenzelm updated to polyml-5.7.1-7 (see also afa7c5a239e6);
Wed, 20 Jun 2018 22:41:52 +0200 wenzelm updated to polyml-5.7.1-6;
Sun, 11 Feb 2018 13:13:03 +0100 wenzelm tuned;
Sun, 11 Feb 2018 12:51:23 +0100 wenzelm clarified command-line defaults;
Sat, 10 Feb 2018 12:20:18 +0100 wenzelm support for libgmp for x86-darwin;
Fri, 09 Feb 2018 16:27:52 +0100 wenzelm support for libgmp for x86_64-darwin;
Mon, 27 Nov 2017 15:10:50 +0100 wenzelm updated to official release of polyml-5.7.1;
Fri, 12 May 2017 14:33:57 +0200 wenzelm updated to polyml-5.7 for testing (not yet ready for production use);
Fri, 17 Feb 2017 19:37:14 +0100 wenzelm updated to polyml-5.7 pre-release from repository;
Sat, 10 Dec 2016 15:45:16 +0100 wenzelm updated Poly/ML repository test version (08-Dec-2016);
Thu, 11 Feb 2016 16:29:38 +0100 wenzelm evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;
Sun, 31 Jan 2016 13:25:21 +0100 wenzelm updated to official polyml-5.6;
Mon, 18 Jan 2016 16:03:58 +0100 wenzelm updated polyml;
Wed, 23 Dec 2015 21:15:26 +0100 wenzelm updated polyml;
Sun, 06 Dec 2015 23:17:48 +0100 wenzelm updated to polyml-5.6-20151206, which presumably improves stability on Windows;
Mon, 23 Nov 2015 17:56:11 +0100 wenzelm updated to polyml-5.6-20151123;
Mon, 31 Aug 2015 22:28:23 +0200 wenzelm support x86_64-windows;
Thu, 20 Aug 2015 14:13:00 +0200 wenzelm updated to polyml-5.5.3-20150820, with native x86-windows support;
Wed, 22 Apr 2015 18:43:33 +0200 wenzelm updated polyml according to fixes-5.5.2 SVN version 2009;
Fri, 17 Apr 2015 20:19:54 +0200 wenzelm updated polyml according to fixes-5.5.2 SVN version 2007;
Fri, 25 Jul 2014 21:29:12 +0200 wenzelm updated to polyml-5.5.2-1 which addresses two hard crashes;
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;
Mon, 28 Jan 2013 14:33:19 +0100 wenzelm updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements;
Mon, 21 Jan 2013 16:50:43 +0100 wenzelm repackaged polyml-5.5.0-1 -- only x86-cygwin changed;
Mon, 17 Sep 2012 12:19:41 +0200 wenzelm some updates for polyml-5.5.0;
Sat, 15 Oct 2011 15:55:10 +0200 wenzelm updated to polyml-5.4.1;
Mon, 20 Dec 2010 23:26:17 +0100 wenzelm tuned;
Mon, 20 Dec 2010 23:19:16 +0100 wenzelm updated for Poly/ML 5.4.0;
Tue, 17 Aug 2010 18:04:08 +0200 wenzelm updated for prospective Poly/ML 5.4;
Wed, 26 May 2010 11:34:23 +0200 wenzelm misc updates for release;
Mon, 09 Nov 2009 21:43:44 +0100 wenzelm updated to official Poly/ML 5.3.0;
Wed, 22 Oct 2008 21:25:00 +0200 wenzelm updated to 5.2.1;
Tue, 03 Jun 2008 16:45:59 +0200 wenzelm updated to official 5.2;
Wed, 28 May 2008 23:43:39 +0200 wenzelm moved README-polyml to polyml/README;
less more (0) tip