| Tue, 08 Sep 2015 20:06:17 +0200 | wenzelm | updated to polyml-5.5.3-20150908, with support for x86_64-windows and Unicode file-names; | file | diff | annotate |
| Thu, 20 Aug 2015 14:13:00 +0200 | wenzelm | updated to polyml-5.5.3-20150820, with native x86-windows support; | file | diff | annotate |
| Wed, 14 May 2014 12:00:18 +0200 | wenzelm | updated to polyml-5.5.2; | file | diff | annotate |
| Tue, 17 Sep 2013 21:12:41 +0200 | wenzelm | updated to polyml-5.5.1; | file | diff | annotate |
| Sat, 26 Jan 2013 19:52:49 +0100 | wenzelm | tuned ML platform fallback; | file | diff | annotate |
| Wed, 26 Sep 2012 16:37:21 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Mon, 17 Sep 2012 12:19:41 +0200 | wenzelm | some updates for polyml-5.5.0; | file | diff | annotate |
| Wed, 29 Aug 2012 20:16:22 +0200 | wenzelm | provide polyml-5.4.1 as regular component; | file | diff | annotate |