Magic. Build complete. I just had to change the path.
xpp seems to come up ok. Thanks, I’ll post a resume. Roger _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com