Community
Participate
Working Groups
The Foundation has asked TPTP to divide its online help into two categories: doc for users (developers who use TPTP to test & profile) and doc for consumers (extenders of TPTP). Both types of documentation remain in the plug-in format, but the consumer documentation should be shipped only in the SDK. The user documentation should remain in the binary production driver of TPTP. The org.eclipse.platform/jdt plug-ins have chosen a naming convention of "doc.user" and "doc.isv". This enhancement is the top-level enhancement that will be used to track the progress of each of the four Project enhancements. No work is expected to be checked in under this enhancement.
Target set to 4.2
Not setting the original estimate on this enhancement because this is a top-level enhancement. The estimates will be put on the point enhancements instead.
The work for this enhancement is complete.
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this originator of this enhancement/defect has an inactive Bugzilla account and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.