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