| Wed, 14 May 2014 12:00:18 +0200 | wenzelm | updated to polyml-5.5.2; | file | diff | annotate |
| Mon, 21 Jan 2013 16:33:54 +0100 | wenzelm | better apply peflags at build time, to avoid antivirus getting nervous about changing executables; | file | diff | annotate |
| Wed, 25 Apr 2012 20:08:33 +0200 | wenzelm | mingw is windows (still inactive); | file | diff | annotate |
| Fri, 13 Apr 2012 21:09:11 +0200 | wenzelm | minimal support for x86-mingw; | file | diff | annotate |
| Mon, 12 Mar 2012 16:04:00 +0100 | wenzelm | updated polyml/build option to prefer included libffi; | file | diff | annotate |
| Wed, 22 Sep 2010 22:15:36 +0200 | wenzelm | make compiler doubly sure; | file | diff | annotate |
| Fri, 20 Aug 2010 15:29:36 +0200 | wenzelm | reactivated -segprot options, just to make double-sure; | file | diff | annotate |
| Tue, 17 Aug 2010 23:00:51 +0200 | wenzelm | pro-forma support for further platforms; | file | diff | annotate |
| Tue, 17 Aug 2010 17:57:05 +0200 | wenzelm | multi-platform build script for Poly/ML; | file | diff | annotate |