Community
Participate
Working Groups
Additional documents for the web.
Replaces https://bugs.eclipse.org/bugs/show_bug.cgi?id=74837
*** Bug 74837 has been marked as a duplicate of this bug. ***
This was a place holder for any additional docs that we wanted to add to the website.
I have not received any requests to add additional documents to the Web so I'm closing this enhancement as invalid. It can be reopened if a request comes in. Thanks.
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.