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.


_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to