Date: 22nd June 2006
Source: Rob Arthan rda@lemma-one.com
Purpose: Makes ProofPower version 2.7.6 compile under Poly/ML 4.2.0
Description:
The PPHol, PPZed and PPDaz packages will not build on Poly/ML 4.2.0.
That version of Poly/ML is recommended for use on newer Linux releases.
This patch makes these packages compatible with Poly/ML 4.2.0. Do not
apply this patch if you are using Poly/ML 4.1.3.

To apply, patch the source as usual, e.g.,:

        cd $HOME/bld/OpenProofPower-2.7.6
        gunzip -c /tmp/patch-2.7.5.rda.060622.gz | patch -p1 -b -B orig/

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