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