Proof for Extend Updates

P4, the version of Proof that was distributed by Imagine That, Inc. as a component of  ExtendSuite is now obsolete.  P4 has been replaced by P5, which offers significant improvements over P4.

Perhaps the biggest improvement is that P5 runs in a window, rather running in full-screen mode as P4 did.  Running in full-screen mode had two disadvantages.  First, it made transitions between P4 and Extend rather jarring.  Second, it occasionally resulted in turf wars with other applications (including some provided by Microsoft), each of which was fighting for exclusive control of the screen.

A second important improvement is that P5 is layered on top of Microsoft's Direct3D, while P4 was layered on top of the older, 2D-only DirectDraw.  Video hardware vendor support for DirectDraw is fading rapidly, while support for Direct3D is extremely good, due to the competitive nature of the graphics hardware business.  P5 is a 2D application that runs using 3D features, but with the (hidden) Z-axis clamped to zero.

P5 is ideally suited for use with ExtendSim 7.  Transitions between P5 and ExtendSim 7 are extremely smooth.

Users who purchased ExtendSuite for use version 6 of Extend should consider upgrading to P5.  New users of ExtendSim 7 who wish to use Proof must use P5, since Wolverine Software no longer ships P4.  For pricing and ordering details, click here.

There are presently no updates for P5 for Extend.  When updates become available, they will be posted on this page.

This page does contain a link for downloading the latest version of P4 for Extend, for users who are still using P4.  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.

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 AY067 is the latest version of P4 for Extend.