2016-06-04 | wenzelm | updated to recent changes of Poly/ML directory layout; | file | diff | annotate |
2015-04-17 | wenzelm | updated polyml according to fixes-5.5.2 SVN version 2007; | file | diff | annotate |
2014-05-14 | wenzelm | practically obsolete: plain "poly" should work, except for Linux without libgmp installed; | file | diff | annotate |
2013-01-28 | wenzelm | updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements; | file | diff | annotate |
2013-01-26 | wenzelm | notes on building Poly/ML; | file | diff | annotate |