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
The command executed is: xpp -d "polydb file"
If those informations are not enough to solve the problem, please ask for
Artur Oliveira Gomes
Proofpower mailing list