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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
