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 for the Project to analyze its online help documentation, categorize it according to its target audience, and refactor the documentation into two plug-ins.
Adding the estimate (in hours) to match the description document.
Done Feb 10.
*** Bug 116289 has been marked as a duplicate of this bug. ***
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.