Artur has created a script that installed all dependencies and ProofPower
itself. Using it, I could install PP successfully. I will let him post the
script! Thanks Artur.
Nevertheles. My palette doesn't look good. I have the following message when
I open PP
"Warning: Cannot convert string "holnormal" to type FontStruct"
Proofpower mailing list