| 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 |