Community
Participate
Working Groups
Remove Hyades references from logging examples. The TPTP logging examples contain references to Hyades in the UI (e.g. wizard panes), default settings (e.g. newly created project) and documentation (e.g. readmes) that should either removed or replaced with TPTP references.
Deferring because this isn't a stop-ship defect.
This work will be covered by bugzilla's 96035 (UI and project settings) and 96029 (readmes). *** This bug has been marked as a duplicate of 96035 ***
This was resolved as a duplicate in 4.1 i1 timeframe.
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.