| 2014-05-14 | wenzelm | updated to polyml-5.5.2; | file | diff | annotate |
| 2013-01-21 | wenzelm | better apply peflags at build time, to avoid antivirus getting nervous about changing executables; | file | diff | annotate |
| 2012-04-25 | wenzelm | mingw is windows (still inactive); | file | diff | annotate |
| 2012-04-13 | wenzelm | minimal support for x86-mingw; | file | diff | annotate |
| 2012-03-12 | wenzelm | updated polyml/build option to prefer included libffi; | file | diff | annotate |
| 2010-09-22 | wenzelm | make compiler doubly sure; | file | diff | annotate |
| 2010-08-20 | wenzelm | reactivated -segprot options, just to make double-sure; | file | diff | annotate |
| 2010-08-17 | wenzelm | pro-forma support for further platforms; | file | diff | annotate |
| 2010-08-17 | wenzelm | multi-platform build script for Poly/ML; | file | diff | annotate |