The release notes hadn't been updated for version 5.5.2 and rather than
try to bring them up to date I just removed them. They were part of the
documentation tree so they are in the Git history prior to commit
90a1a5f. I'd be happy to reinstate them if anyone feels like going
through and bringing them up to date.
Regards,
David
On 13/05/2016 15:54, James Clarke wrote:
You're not going mad; there used to be a release notes link:
http://web.archive.org/web/20150826013635/http://www.polyml.org/documentation/ReleaseNotes.html
That page says polyc was added in 5.5.1.
Regards,
James
On 13 May 2016, at 15:33, Rob Arthan <r...@lemma-one.com> wrote:
I have a recollection of a list somewhere on the Poly/ML website giving a brief
description of what had changed in each version of Poly/ML, but I can’t find it
any more. Am I just being unobservant or was I imagining things? The specific
question I wanted to answer was: which version introduced polyc?
Regards,
Rob.
_______________________________________________
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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml