17 Mar
2016
17 Mar
'16
2:02 p.m.
As a side note, there is a list of changes on the release page on Github here https://github.com/polyml/polyml/releases.
On Thu, Mar 17, 2016 at 8:53 AM, Rob Arthan <rda at lemma-one.com> wrote:
I thought there was a changes history for Poly/ML somewhere on the Poly/ML website, but I can?t find it any more. It would be useful to have a list of changes between Poly/ML 5.5.2 and Poly/ML 5.6. Apologies if I am just being unobservant.
Regards,
Rob. _______________________________________________ polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
--
Phil Eaton