| 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 | 4774 |
| All-In-One Package - Linux | 310 |
| All TPTP plugins | 3896 |
| Platform | 687 |
| Monitoring | 336 |
| Tracing and Profiling | 542 |
| Testing | 290 |
| All TPTP plugins | 3359 |
| Platform | 333 |
| Monitoring | 138 |
| Tracing and Profiling | 208 |
| Testing | 168 |
| API Recorder Framework | 233 |
| Automated GUI Recording | 563 |
| C/C++ Code Review Provider | 274 |