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.
Difference between revisions of "Install TPTP with Update Manager"
(→Verify your installation) |
(→Install TPTP) |
||
| Line 6: | Line 6: | ||
*1. Start Eclipse. | *1. Start Eclipse. | ||
| − | *2. Open Update Manager under '''Help''' > '''Software | + | *2. Open Update Manager under '''Help''' > '''Install New Software'''... |
:[[Image:InstallScreen1.jpg]] | :[[Image:InstallScreen1.jpg]] | ||
| − | *3. Select ''' | + | *3. Select '''Galileo''' from the '''Work with''' drop down list. |
:[[Image:InstallScreen2.jpg]] | :[[Image:InstallScreen2.jpg]] | ||
| − | *4. Check '''Testing and Performance''' and select ''' | + | *4. Check '''Testing and Performance''' and select the '''Next''' button to start the installation. |
:[[Image:InstallScreen3.jpg]] | :[[Image:InstallScreen3.jpg]] | ||
*5. In the '''Install''' dialog, select '''Next''' to continue. | *5. In the '''Install''' dialog, select '''Next''' to continue. | ||
:[[Image:InstallScreen4.jpg]] | :[[Image:InstallScreen4.jpg]] | ||
| − | *6. Accept license agreement and select '''Finish''' to start the installation. | + | *6. Accept the license agreement(s) and select '''Finish''' to start the installation. |
:[[Image:InstallScreen5.jpg]] | :[[Image:InstallScreen5.jpg]] | ||
| − | *7. Select '''Yes''' | + | *7. Select '''Yes''' when requested to restart Eclipse. |
:[[Image:InstallScreen6.jpg]] | :[[Image:InstallScreen6.jpg]] | ||
Revision as of 15:55, 16 June 2009
Overview
This page lists the steps to install a TPTP 4.5.1 in an Eclipse 3.4.1 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 Testing and Performance and select the Next button to start the installation.
- 5. In the Install dialog, select Next to continue.
- 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.
