17 Sep
2012
17 Sep
'12
11:32 a.m.
On Sat, Sep 15, 2012 at 9:16 AM, David Matthews < David.Matthews@prolingua.co.uk> 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?)