[polyml] Bug in x86-64 version of >=PolyML-5.4.1

David.Matthews＠prolingua.co.uk

21 Nov 2012 21 Nov '12

12:33 p.m.

On 18/11/2012 18:40, Ramana Kumar wrote:

Is fixes-5.5 beyond rev 1595 yet?

I've now back-ported a few fixes from HEAD.

David