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