Version 3.1w4 of OpenProofPower

This release incorporates some minor fixes.
See the CHANGES file for details.