Community
Participate
Working Groups
WI6 (119688): Extend the TPTP JUnit Test editor. Note: This defect covers work item 6 of enhancement #119688 (https://bugs.eclipse.org/bugs/show_bug.cgi?id=119688) for providing a generic Java API recorder. See http://www.eclipse.org/tptp/groups/Architecture/documents/features/hf_119688.html#WorkItem_6 for more details.
Reassign to Paul.
These are work items for a 4.3 proposed enhancement.
Not required due to feature https://bugs.eclipse.org/bugs/show_bug.cgi?id=90628.
Closing.