Rob, I'm using Ubuntu 8.10 too. Since ProofPower 2.7.6, when you created the patch to use ProofPower with Poly/ML 4.2
Yet, Poly/ML was installed with default configuration and default location. Artur 2009/1/25 Rob Arthan <r...@lemma-one.com> > Artur, > > On Sunday 25 Jan 2009 12:22 pm, Rob Arthan wrote: > > Steven, Artur, > > > > I think it will probably be easiest if I try to build a Ubuntu 8.04 > system > > and see if I can reproduce the problem. I will keep you posted. > > > > Artur: are you using Ubuntu too? > > Supplementary question: have you also got Poly/ML installed in somehwere > other > than the default location. > > Regards, > > Rob. > > -- Artur Oliveira Gomes
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
