TPTP Update Site

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

   Help
    > Software Updates
       > Find and Install...
          > Search for new features to install
             > Add Update Site...
                * Name: TPTP Update Site
                * URL:    http://eclipse.org/tptp/updates/site.xml 

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.