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.
Note: this site assumes you already have the TPTP prerequisites installed.

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.

Try Netscape 7.1, Mozilla 1.6, or Internet Explorer 6.0.