Admin/polyml/README
2017-05-12 wenzelm 2017-05-12 updated to polyml-5.7 for testing (not yet ready for production use);
2017-02-17 wenzelm 2017-02-17 updated to polyml-5.7 pre-release from repository;
2016-12-10 wenzelm 2016-12-10 updated Poly/ML repository test version (08-Dec-2016);
2016-02-11 wenzelm 2016-02-11 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 wenzelm 2016-01-31 updated to official polyml-5.6;
2016-01-18 wenzelm 2016-01-18 updated polyml;
2015-12-23 wenzelm 2015-12-23 updated polyml;
2015-12-06 wenzelm 2015-12-06 updated to polyml-5.6-20151206, which presumably improves stability on Windows;
2015-11-23 wenzelm 2015-11-23 updated to polyml-5.6-20151123;
2015-08-31 wenzelm 2015-08-31 support x86_64-windows;
2015-08-20 wenzelm 2015-08-20 updated to polyml-5.5.3-20150820, with native x86-windows support;
2015-04-22 wenzelm 2015-04-22 updated polyml according to fixes-5.5.2 SVN version 2009;
2015-04-17 wenzelm 2015-04-17 updated polyml according to fixes-5.5.2 SVN version 2007;
2014-07-25 wenzelm 2014-07-25 updated to polyml-5.5.2-1 which addresses two hard crashes;
2014-05-14 wenzelm 2014-05-14 updated to polyml-5.5.2;
2013-09-17 wenzelm 2013-09-17 updated to polyml-5.5.1; prefer explicit POLYML_HOME to simplify additional user settings;
2013-01-28 wenzelm 2013-01-28 updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements;
2013-01-21 wenzelm 2013-01-21 repackaged polyml-5.5.0-1 -- only x86-cygwin changed;
2012-09-17 wenzelm 2012-09-17 some updates for polyml-5.5.0;
2011-10-15 wenzelm 2011-10-15 updated to polyml-5.4.1;
2010-12-20 wenzelm 2010-12-20 tuned;
2010-12-20 wenzelm 2010-12-20 updated for Poly/ML 5.4.0;
2010-08-17 wenzelm 2010-08-17 updated for prospective Poly/ML 5.4;
2010-05-26 wenzelm 2010-05-26 misc updates for release;
2009-11-09 wenzelm 2009-11-09 updated to official Poly/ML 5.3.0;
2008-10-22 wenzelm 2008-10-22 updated to 5.2.1;
2008-06-03 wenzelm 2008-06-03 updated to official 5.2;
2008-05-28 wenzelm 2008-05-28 moved README-polyml to polyml/README;