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