| Fri, 19 May 2017 20:23:07 +0200 | wenzelm | clarified build_polyml_component; | file | diff | annotate |
| Fri, 17 Feb 2017 19:37:14 +0100 | wenzelm | updated to polyml-5.7 pre-release from repository; | file | diff | annotate |
| Sat, 04 Jun 2016 16:54:23 +0200 | wenzelm | updated to recent changes of Poly/ML directory layout; | file | diff | annotate |
| Fri, 17 Apr 2015 20:19:54 +0200 | wenzelm | updated polyml according to fixes-5.5.2 SVN version 2007; | file | diff | annotate |
| Wed, 14 May 2014 12:15:07 +0200 | wenzelm | practically obsolete: plain "poly" should work, except for Linux without libgmp installed; | file | diff | annotate |
| Mon, 28 Jan 2013 14:33:19 +0100 | wenzelm | updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements; | file | diff | annotate |
| Sat, 26 Jan 2013 19:53:15 +0100 | wenzelm | notes on building Poly/ML; | file | diff | annotate |