[ProofPower] Forthcoming Poly/ML 5.3

[Rob Arthan]

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.