Community
Participate
Working Groups
As described in https://bugs.eclipse.org/bugs/show_bug.cgi?id=160665#c16, a link to the Building a Custom Test Execution Environment tutorial could be added to the Extending TPTP page (http://www.eclipse.org/tptp/home/documents/documentation.php?version=NA&audience=consumer) once the Helios documentation is posted.
The Helios documentation has been updated with TPTP's contribution (see: https://bugs.eclipse.org/bugs/show_bug.cgi?id=315157#c17).
Created attachment 172346 [details] Patch.
Patch checked in to CVS (HEAD).
Verified in http://www.eclipse.org/tptp/home/documents/documentation.php?version=NA&audience=consumer. Closing.