Community
Participate
Working Groups
Graph nodes should be a list with only useful items and their names should be given by the loader that knows what it is (a method invocation, not a synchronous message...).
Should be done in Hyades 3.3i2 too (see https://bugs.eclipse.org/bugs/show_bug. cgi?id=86891) for coherency.
Closed to be checked in, target is March 13th e.o.d.
Checked in 3.3 and 4.0.
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.