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