| Thu, 12 Oct 2006 15:00:07 +0200 | wenzelm | cc: avoid space after options; | file | diff | annotate |
| Thu, 12 Oct 2006 14:26:16 +0200 | wenzelm | set DYLD_LIBRARY_PATH (for Darwin); | file | diff | annotate |
| Thu, 28 Sep 2006 15:30:03 +0200 | wenzelm | tuned messages; | file | diff | annotate |
| Thu, 28 Sep 2006 11:56:30 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Sep 2006 00:10:08 +0200 | wenzelm | proper use of PolyML.shareCommonData; | file | diff | annotate |
| Wed, 27 Sep 2006 23:41:12 +0200 | wenzelm | Poly/ML startup script (for 4.9.1); | file | diff | annotate |