TPTP
These wiki pages are used to list the TPTP development discussions and other documents intended for the TPTP development team. For information on project content and download information please visit the TPTP home page http://www.eclipse.org/tptp/
Quicklinks
Resource | Description |
---|---|
TPTP home page | Look here for information about TPTP projects, user resources and participation. |
Meetings
[Template] |
|
Mailing list and news groups | Go here to participate in discussions relating to the TPTP Project. |
TPTP sandbox | There are always great ideas that don't get into the plan due to resource limitations or different project priorities at that specific moment. Things like line level coverage or TPTP support for other than Java.
|
Miscellaneous |
This page provides a list of TPTP specific wiki items:
|
TPTP Project Ramp Down Policy | |
4.5 Schedules | Release Weekly Schedules |
TPTP User Experiences |
Capturing User Experiences with TPTP |
NEW TPTP Profiling Initiative | A quick start guide for TPTP Profiling support |
TPTP Tests | |
NEW Profile On Server | |
NEW Profiler Internal | |
NEW MAC OS |