| 2009-06-17 | wenzelm | more robust poly startup, by restricting heap size (otherwise it fails on very large memory); | file | diff | annotate |
| 2008-12-20 | wenzelm | removed Ids; | file | diff | annotate |
| 2006-12-05 | wenzelm | set DYLD_LIBRARY_PATH as well; | file | diff | annotate |
| 2006-09-28 | wenzelm | LD_LIBRARY_PATH; | file | diff | annotate |
| 2006-09-27 | wenzelm | adapted to pre-5.0 versions; | file | diff | annotate |
| 2005-09-15 | wenzelm | poly -doDisplay; | file | diff | annotate |
| 2005-08-01 | wenzelm | determine Poly/ML runtime system version | file | diff | annotate |