Dear All, Poly/ML 5.3 is likely to be released very soon. I have just posted a patch on the ProofPower website that fixes a performance problem you will experience if you compile using the latest development version of Poly/ML or with 5.3 when it is released.
As most people have fairly fast Internet connections these days, in future, I will now make the web page: http://www.lemma-one.com/ProofPower/getting/getting.html lead to a recommended version of the ProofPower source with all the patches that I recommend for all users applied (so you can just download the lot rather than apply the patches yourself). Earlier versions of the ProofPower source will still be available via the link at the end of the paragraph about DownLoading OpenProofPower. Regards, Rob. _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com