lib/scripts/run-polyml-4.2.0
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-03-06 wenzelm 2008-03-06 rearrangements to make latest Poly/ML the default, not old 4.x;