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 <[email protected]> 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 <[email protected] > <mailto:[email protected]>> 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 > [email protected] <mailto:[email protected]> > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > <http://lists.inf.ed.ac.uk/mailman/listinfo/polyml> > > -- > Phil Eaton > _______________________________________________ > polyml mailing list > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
