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"
(→Overview) |
(→Install TPTP) |
||
Line 8: | Line 8: | ||
*2. Open Update Manager under '''Help''' > '''Install New Software'''... | *2. Open Update Manager under '''Help''' > '''Install New Software'''... | ||
:[[Image:InstallScreen1.jpg]] | :[[Image:InstallScreen1.jpg]] | ||
− | *3. Select '''Galileo''' from the '''Work with''' drop down list. | + | *3. Select '''Galileo''' (for Eclipse 3.5) or '''Helios''' (for Eclipse 3.6) from the '''Work with''' drop down list. |
:[[Image:InstallScreen2.jpg]] | :[[Image:InstallScreen2.jpg]] | ||
*4. Check '''Test and Performance''' and select the '''Next''' button to verify the installation details. | *4. Check '''Test and Performance''' and select the '''Next''' button to verify the installation details. |
Revision as of 09:28, 4 April 2011
Overview
This page lists the steps to install a TPTP 4.6.2 (for Galileo) or 4.7.2 (for Helios) in an Eclipse workbench using update manager.
Install TPTP
- 1. Start Eclipse.
- 2. Open Update Manager under Help > Install New Software...
- 3. Select Galileo (for Eclipse 3.5) or Helios (for Eclipse 3.6) 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.