Admin/polyml/CHECKLIST
19 months ago wenzelm 2017-10-03 more recent polyml-test version;
2017-05-19 wenzelm 2017-05-19 clarified build_polyml_component;
2017-02-17 wenzelm 2017-02-17 updated to polyml-5.7 pre-release from repository;
2016-06-04 wenzelm 2016-06-04 updated to recent changes of Poly/ML directory layout;
2015-04-17 wenzelm 2015-04-17 updated polyml according to fixes-5.5.2 SVN version 2007;
2014-05-14 wenzelm 2014-05-14 practically obsolete: plain "poly" should work, except for Linux without libgmp installed;
2013-01-28 wenzelm 2013-01-28 updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements;
2013-01-26 wenzelm 2013-01-26 notes on building Poly/ML;