lib/scripts/polyml-version
2011-01-11 wenzelm 2011-01-11 tuned (cf. 2fe62d602681);
2011-01-10 wenzelm 2011-01-10 updated for polyml-5.4.0; discontinued old-fashioned POLY_HOME via path; more robust handling of polyml-version, preferably provided by Poly/ML distribution itself;
2010-11-15 wenzelm 2010-11-15 eliminated old-style sed in favour of builtin regex matching;
2009-06-17 wenzelm 2009-06-17 more robust poly startup, by restricting heap size (otherwise it fails on very large memory); removed Poly/ML 4.x variant;
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