Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Install TPTP with Update Manager
Revision as of 18:18, 29 July 2008 by Ewchan.ca.ibm.com (Talk | contribs) (Setting up TPTP with Update Manager moved to Install TPTP with Update Manager)
This page lists the steps to set up TPTP 4.5.0 with update manager in an Eclipse 3.4 workbench.
Install TPTP
- 1. Start Eclipse.
- 2. Open Update Manager under Help > Software Updates...
- 3. Select Available Software tab and expand Ganymede Update Site.
- 4. Check Testing and Performance and select Install button to start the installation.
- 5. In the Install dialog, select Next to continue.
- 6. Accept license agreement and select Finish to start the installation.
- 7. Select Yes upon request to restart Eclipse.
Verify your installation
- A quick way to verify your TPTP installation is to make sure a Profile button is available after restart of Eclipse workbench.