> Hi there, > > A colleague has installed ProofPower in its computer but when he try to > open > ProofPower, a message "printer not found, aborting" is shown and the > window > is closed. > > The command executed is: xpp -d "polydb file"
It looks like you are starting a systems admin program called xpp that comes with some Linux distros and no the ProofPower xpp. Make sure the ProofPower bin directory comes before the system bin directories in the PATH environment variable. Regards, Rob. _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
