13 May
2016
13 May
'16
3:54 p.m.
You're not going mad; there used to be a release notes link: http://web.archive.org/web/20150826013635/http://www.polyml.org/documentatio... That page says polyc was added in 5.5.1.
Regards, James
On 13 May 2016, at 15:33, Rob Arthan <rda at 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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml