I'm using Ubuntu 8.10 too. Since ProofPower 2.7.6, when you created the
use ProofPower with Poly/ML 4.2
Yet, Poly/ML was installed with default configuration and default location.
2009/1/25 Rob Arthan <r...@lemma-one.com>
> 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
> > 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
> than the default location.
Artur Oliveira Gomes
Proofpower mailing list