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
