first of all when i enter /home/sarah/pp/bin/xpp it opens xpp and second command that you tell me to try was PPENVDEBUG=y /home/sarah/pp/bin/xpp it also open xpp...so then why when i enter the command xpp -d example_zed says "printer not found, aborting" how to make sure that ProofPower bin directory comes before the system bin directories in the PATH environment variable. thanks
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com