TPTP Update Site
To install these plugins, point your Eclipse Update Manager to this site.
The listing below only lists features up to TPTP 4.6.2. More recent features are available at this location and can be seen in the Eclipse Update Manager view.
XML now loading...
If you cannot see the Update Manager site listing after a few seconds, or to view this file as XML, click here.