Dear All,
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" Any hints? Cheers, Marcel Oliveira
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
