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
> Artur,
>
> On Sunday 25 Jan 2009 12:22 pm, Rob Arthan wrote:
> > Steve
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
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?
Regards,
Rob.
On Saturday 24 Jan 2009 7:06 pm, Steven J. Ramsay wrote:
> No problem. I am on an old Penti
