Admin/polyml/README
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;