> On 1 Jun 2015, at 21:31, Robert White <ai.robert.wangsh...@gmail.com> wrote: > > This is what I have now. Is this a correct version? > > Poly/ML 5.2 Release RTS version: X86_64-5.2.1
You need 5.5 or later. So you will need to build it from source. Don’t hesitate to ask if you need any help with that. Regards, Rob. _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com