On Sat, Sep 15, 2012 at 9:16 AM, David Matthews < [email protected]> wrote:
> I have finally released Poly/ML 5.5 on the SourceForge site. I still need > to finish the release notes and update the Poly/ML web site. I guess that also means updating the fixes-5.5 branch? I just built r1595 from that, but the executable still calls itself 5.4.1 Release. (Or maybe I didn't do enough cleaning before building?)
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
