[ProofPower] (no subject)

[khan khan]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lemma-one.com/pipermail/proofpower_lemma-one.com/attachments/20130218/196bc4e1/attachment.htm>