Rob,
I'd intended to write something but that was as far as I got. There
were too many changes and a few got missed.
Regards,
David
On 17/03/2016 15:52, Rob Arthan wrote:
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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
