On Friday 21 November 2008 06:00:18 Rob Arthan wrote: > It seems to work for me. How is it failing?
A rewrite failed. However, I went through it all again more carefully and it has now gone through OK. Not sure which of the things I changed made the difference. The first attempt was done in the ProofPower build src directory. This time I did it in a separate directory so I could pack it up and send it to you. This failed more radically because I had PPHOME set to the previous installation directory. When I set PPHOME correctly the build went through OK .Presumably it would then also have worked in original build directory. So if you pick up the right ProofPower because you happen to be in the right place, but PPHOME is not right, proof scripts may then fail mysteriously? Anyway, thanks for your help, all seems now well so far, I'll try a complete rebuild of my own stuff. Roger _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com