Phil,
Thanks. That?s useful although it doesn?t mention the change that prompted my question: namely the replacement of PolyML.profiling by the new features in the structure PolyML.Profiling.
Regards,
Rob.
On 17 Mar 2016, at 14:02, Phil Eaton <philneaton95 at gmail.com> wrote:
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 <mailto: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 <mailto:polyml at inf.ed.ac.uk> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
-- Phil Eaton _______________________________________________ polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml