Proof for Extend Updates

This page contains a link for downloading the latest version of Proof for Extend.  Clicking on the link will download updatep4x.exe, a self-extracting ZIP file that will replace the current version of Extend6\Extensions\extendp4.dll and Proof's help files in Extend6\Help on your machine.

For descriptions of problems fixed and features added to Proof, please refer to the Proof Updates page.

By default, Extend is installed in c:\Extend6.  Wolverine's update procedure assumes that you have installed Extend in this directory.  If you have installed Extend in another directory, be sure that when you are presented with the option of running WinZip (rather than immediately unzipping into the default directory), you exercise this option and manually unzip the updated files into the appropriate directories.  Note that extendp4.dll must be installed in Extend's "extensions" subdirectory, and Proof's help files must be installed in Extend's "help" subdirectory.

Do not attempt to update Proof for Extend while Extend is running.

Release OV106 is the latest version of Proof for Extend.