Thanks for the tips.
---------- Forwarded message ----------
Subject: Re: [ProofPower] Error when opening ProofPower
To: Artur Oliveira Gomes <artur.o.go...@gmail.com>
> 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.
Artur Oliveira Gomes
Proofpower mailing list