Difference between revisions of "Install TPTP with Update Manager"
(→Install TPTP) |
(→Overview) |
||
| Line 1: | Line 1: | ||
== Overview == | == Overview == | ||
| − | This page lists the steps to install a [http://www.eclipse.org/tptp/ TPTP] 4. | + | This page lists the steps to install a [http://www.eclipse.org/tptp/ TPTP] 4.6.0 in an [http://www.eclipse.org/downloads/ Eclipse 3.5.0] workbench with update manager. |
== Install TPTP == | == Install TPTP == | ||
Revision as of 16:04, 16 June 2009
Overview
This page lists the steps to install a TPTP 4.6.0 in an Eclipse 3.5.0 workbench with update manager.
Install TPTP
- 1. Start Eclipse.
- 2. Open Update Manager under Help > Install New Software...
- 3. Select Galileo from the Work with drop down list.
- 4. Check Test and Performance and select the Next button to verify the installation details.
- 5. In the Install dialog, select the Next button to start the installation.
- 6. Accept the license agreement(s) and select Finish to start the installation.
- 7. Select Yes when requested 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.
