Admin/polyml/README
2 months ago ago updated to polyml-5.8 (official release);
2 months ago ago updated to polyml-5.8-20190306;
2 months ago ago updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
3 months ago ago updated to polyml-test-8fda4fd22441;
3 months ago ago updated to polyml-test-b68438d33c69;
3 months ago ago updated to polyml-test-1236652ebd55;
3 months ago ago updated to polyml-test-1b2dcf8f5202;
3 months ago ago updated to polyml-test-a444f281ccec;
3 months ago ago updated polyml platform: 32=x86_64_32;
9 months ago ago updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
10 months ago ago updated to polyml-5.7.1-7 (see also afa7c5a239e6);
11 months ago ago updated to polyml-5.7.1-6;
15 months ago ago tuned;
15 months ago ago clarified command-line defaults;
15 months ago ago support for libgmp for x86-darwin;
15 months ago ago support for libgmp for x86_64-darwin;
17 months ago ago updated to official release of polyml-5.7.1;
2017-05-12 ago updated to polyml-5.7 for testing (not yet ready for production use);
2017-02-17 ago updated to polyml-5.7 pre-release from repository;
2016-12-10 ago updated Poly/ML repository test version (08-Dec-2016);
2016-02-11 ago 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;
2016-01-31 ago updated to official polyml-5.6;
2016-01-18 ago updated polyml;
2015-12-23 ago updated polyml;
2015-12-06 ago updated to polyml-5.6-20151206, which presumably improves stability on Windows;
2015-11-23 ago updated to polyml-5.6-20151123;
2015-08-31 ago support x86_64-windows;
2015-08-20 ago updated to polyml-5.5.3-20150820, with native x86-windows support;
2015-04-22 ago updated polyml according to fixes-5.5.2 SVN version 2009;
2015-04-17 ago updated polyml according to fixes-5.5.2 SVN version 2007;
2014-07-25 ago updated to polyml-5.5.2-1 which addresses two hard crashes;
2014-05-14 ago updated to polyml-5.5.2;
2013-09-17 ago updated to polyml-5.5.1;
2013-01-28 ago updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements;
2013-01-21 ago repackaged polyml-5.5.0-1 -- only x86-cygwin changed;
2012-09-17 ago some updates for polyml-5.5.0;
2011-10-15 ago updated to polyml-5.4.1;
2010-12-20 ago tuned;
2010-12-20 ago updated for Poly/ML 5.4.0;
2010-08-17 ago updated for prospective Poly/ML 5.4;
2010-05-26 ago misc updates for release;
2009-11-09 ago updated to official Poly/ML 5.3.0;
2008-10-22 ago updated to 5.2.1;
2008-06-03 ago updated to official 5.2;
2008-05-28 ago moved README-polyml to polyml/README;