| Install TPTP plugins by unzipping the zip file to an eclipse install directory. Make sure all requirements are also installed. |
Platform
[ Runtime
| SDK ]
Monitoring Tools *
[ Runtime
| SDK ]
Tracing and Profiling Tools *
[ Runtime
| SDK ]
Testing Tools *
[ Runtime
| SDK ]
Windows
Linux
Windows
Linux


| All-In-One Package - Windows | 2416 |
| All-In-One Package - Linux | 197 |
| All TPTP plugins | 1741 |
| Platform | 327 |
| Monitoring | 165 |
| Tracing and Profiling | 294 |
| Testing | 163 |
| All TPTP plugins | 1152 |
| Platform | 168 |
| Monitoring | 103 |
| Tracing and Profiling | 113 |
| Testing | 113 |
| API Recorder Framework | 117 |
| Automated GUI Recording | 216 |
| C/C++ Code Review Provider | 102 |