Oh, okay. I will do it :) Thanks! On 2 June 2015 at 16:38, Rob Arthan <r...@lemma-one.com> wrote:
> > > 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. > > -- Regards, Robert White <http://www.dptinfo.ens-cachan.fr/~swang/>(Shuai Wang) INRIA Deducteam <https://www.rocq.inria.fr/deducteam/>
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com