Community
Participate
Working Groups
Phoenix is going to be rolled out at on Nov 30. Mylar web site: http://www.eclipse.org/mylar/ Phoenix Plan: http://www.eclipse.org/phoenix/plan/ Denis's post that says that Phoenix 1.0 will be released Nov 30: http://dev.eclipse.org/mhonarc/lists/phoenix-dev/msg00235.html
Target set to 4.2
I've converted some of the pages; you can take a look at http://www.eclipse.org/tptp/newindex.php. Navigate to the converted pages by the left column; the links on the new home page are unchanged. Not every page in the left column has been converted.
Not part of 4.3 plan due to resource constraint.
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As such, TPTP is not delivering enhancements. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement is resolved as WONTFIX. For this enhancement to be considered, please re-open with an attached patch including the Description Document (see http://www.eclipse.org/tptp/home/documents/process/development/description_documents.html), code (see http://www.eclipse.org/tptp/home/documents/resources/TPTPDevGuide.htm), and test cases (see http://www.eclipse.org/tptp/home/documents/process/TPTP_Testing_Strategy.html).
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.