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 <philneato...@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 <r...@lemma-one.com > <mailto:r...@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@inf.ed.ac.uk <mailto:polyml@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@inf.ed.ac.uk > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml