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