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 <[email protected]> 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 > [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
