Community
Participate
Working Groups
The latest build report (http://eclipse.org/tptp/home/downloads/version.php?version=4.7.0&buildID=TPTP-4.7.0-201005171900) contains Test plug-ins that require their version to be incremented prior to the TPTP 4.7.0 release. Paul can you please update the version numbers. Thanks!
Created attachment 169558 [details] Patch.
The attached patch is checked in to CVS (HEAD).
Verified build report looks good on TPTP-4.7.0-201006021900.