> Hi there,
> A colleague has installed ProofPower in its computer but when he try to
> ProofPower, a message "printer not found, aborting" is shown and the
> 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.
Proofpower mailing list