Community
Participate
Working Groups
A usability review of WSDM tooling tech preview in TPTP 4.3 is in progress. The results of the review are expected to surface minor requirements in the UI design. This feature will be used to track these minor look and feel changes.
Removing target because it has not been approved by PMC yet for inclusion in the 4.4 plan.
Adding sizing from description document.
all dependent bugs are completed
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 enhancement/defect has been resolved and unverified for more than 1 year 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.