ProofPower Patches
[ProofPower Logo]

ProofPower Patches

Contributing Documentation Download Examples Getting Home Mailing List Papers Patches Specifications

Anyone is welcome to contribute to the ProofPower development and patches are a convenient way of distributing contributions, particularly bug fixes or enhancements to existing code or proof scripts.

To apply a patch:

  1. Download the compressed patch file into any directory of your choice, e.g., /tmp

  2. Change directory to the ProofPower build directory, e.g.,

    cd $HOME/bld/OpenProofPower-2.7.5

  3. Uncompress the patch, piping the output into patch -p1 -b -B orig/, e.g.,

    gunzip -c /tmp/patch-2.7.5.rda.041218.gz | patch -p1 -b -B orig/

    This will update the relevant source files, taking back-up copies in the directory orig, and will put a description of the patch in a text file, patch-2.7.5.rda.041218.txt in the directory patches.

  4. Now following the instructions in the file README and any special instructions in the patch description, use ./configure and ./install to install the affected packages. Use ./install -d if you do not wish to rebuild the documentation (i.e. don't rebuild the HTML index file in thedoc subdirectory of the installation directory and don't rebuild any PostScript or PDF files).

Note

If you do accidentally overwrite the HTML index file. You can recreate it by rerunning ./configure as if you wanted to reinstall all the packages you have installed and then running ./install +d, which will just rebuild the HTML index file without building or installing any of the packages.

Patches for version 2.8.1

The available patches for ProofPower 2.8.1 are listed in the table below. The links in the name column are for downloading the compressed patch file; the links in the description column give a more detailed description of the patch.
patch-2.8.1.rda.090909.gz PPHol 64-bit compatibility
patch-2.8.1.rda.091011.gz PPHol Improve performance on Poly/ML 5.3
Alternatively, just download the latest recommended source containing all the above patches.

Patches for version 2.7.8

The patch for newer versions of SML/NJ is no longer needed. See the README file for details.

The available patches for ProofPower 2.7.8 are listed in the table below. The links in the name column are for downloading the compressed patch file; the links in the description column give a more detailed description of the patch.
Name Package Description
patch-2.7.8.rda.071123.gz PPHol Support ProofPower build using Poly/ML 4.2.0
patch-2.7.8.rda.080418.gz PPHol Fix LaTeX error in PPDev package

Patches for version 2.7.7

The patch for newer versions of SML/NJ is no longer needed. See the README file for details.

The available patches for ProofPower 2.7.7 (and alpha versions of 2.7.7) are listed in the table below. The links in the name column are for downloading the compressed patch file; the links in the description column give a more detailed description of the patch.
Name Package Description
patch-2.7.7.rda.070616.gz PPHol Support ProofPower build using Poly/ML 4.2.0

Patches for version 2.7.6

The patch for newer versions of SML/NJ is no longer needed. See the README file for details.

The available patches for ProofPower 2.7.6 are listed in the table below. The links in the name column are for downloading the compressed patch file; the links in the description column give a more detailed description of the patch.
Name Package Description
patch-2.7.6.rda.060622.gz PPHol Support ProofPower build using Poly/ML 4.2.0

Copyright © Lemma 1 Ltd.
Created by  Rob Arthan [rda at lemma-one dot com]
Last updated: $Date: 2009/10/11 13:50:48 $
[Lemma 1 Logo]