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" If those informations are not enough to solve the problem, please ask for more. Regards, -- Artur Oliveira Gomes
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
