Date: 11th October 2009
Source: Rob Arthan rda@lemma-one.com
Purpose: Speed up performance under Poly/ML version 5.3
Description:
From version 5.3 of Poly/ML, abstype values are pretty-printed in full
rather than as "?". This has a performance impact on some ProofPower
functions such as pp_make_database. This patch suppresses pretty-printing
for the type that was causing the problem.

        cd $HOME/bld/OpenProofPower-2.8.1
        gunzip -c /tmp/patch-2.8.1.rda.091011.gz | patch -p1 -b -B orig/

Then follow the usual instructions for installation in the README file.

Alternatively a version of the source is supplied on the ProofPower
website with all recommended patches applied. Currently this is:

http://www.lemma-one.com/ProofPower/getting/versions/OpenProofPower-2.8.1p2.tgz