| Tue, 14 Nov 2006 00:18:57 +0100 | wenzelm | removed old cygwin wrappers; | file | diff | annotate |
| Mon, 14 Nov 2005 15:14:59 +0100 | wenzelm | support for polyml-4.2.0; | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:17 +0200 | wenzelm | proper ML_DBASE for .../bin/poly; | file | diff | annotate |
| Mon, 01 Aug 2005 19:20:22 +0200 | wenzelm | PolyML.Compiler.printInAlphabeticalOrder := false; | file | diff | annotate |
| Tue, 14 Jun 2005 22:19:32 +0200 | wenzelm | use POLY instead of DISCGARB; | file | diff | annotate |
| Tue, 14 Jun 2005 22:08:53 +0200 | wenzelm | discontinued polyml-3.x; | file | diff | annotate |
| Sat, 11 Jun 2005 23:17:28 +0200 | wenzelm | some cygwin support; | file | diff | annotate |