TPTP Update Site

To install these plugins, point your Eclipse Update Manager to this site.

Help > Install New Software... > Type http://download.eclipse.org/tptp/updates in the Work with field.

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.