lib/scripts/polyml-version
2008-12-20 wenzelm 2008-12-20 removed Ids;
2006-12-05 wenzelm 2006-12-05 set DYLD_LIBRARY_PATH as well;
2006-09-28 wenzelm 2006-09-28 LD_LIBRARY_PATH;
2006-09-27 wenzelm 2006-09-27 adapted to pre-5.0 versions;
2005-09-15 wenzelm 2005-09-15 poly -doDisplay;
2005-08-01 wenzelm 2005-08-01 determine Poly/ML runtime system version