Does anyone have a small/simple example of how to add a new language to ProofPower?
Roger Jones
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
