Admin/polyml/polyi
2016-06-04 wenzelm 2016-06-04 updated to recent changes of Poly/ML directory layout;