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>
> > 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.
Robert White <http://www.dptinfo.ens-cachan.fr/~swang/>(Shuai Wang)
INRIA Deducteam <https://www.rocq.inria.fr/deducteam/>
Proofpower mailing list