Difference between revisions of "Install TPTP with Update Manager"
(→Install TPTP) |
|||
| Line 6: | Line 6: | ||
# Start Eclipse. | # Start Eclipse. | ||
# Open Update Manager under '''Help''' > '''Software Updates'''... | # Open Update Manager under '''Help''' > '''Software Updates'''... | ||
| − | [[Image: | + | [[Image:InstallScreen1.jpg]] |
# Select '''Available Software''' tab and expand '''Ganymede Update Site'''. | # Select '''Available Software''' tab and expand '''Ganymede Update Site'''. | ||
| − | [[Image: | + | [[Image:InstallScreen2.jpg]] |
# Check '''Testing and Performance''' and select '''Install''' button to start the installation. | # Check '''Testing and Performance''' and select '''Install''' button to start the installation. | ||
| − | [[Image: | + | [[Image:InstallScreen3.jpg]] |
# In the '''Install''' dialog, select '''Next''' to continue. | # In the '''Install''' dialog, select '''Next''' to continue. | ||
| − | [[Image: | + | [[Image:InstallScreen4.jpg]] |
# Accept license and select '''Finish''' to start the installation. | # Accept license and select '''Finish''' to start the installation. | ||
| − | [[Image: | + | [[Image:InstallScreen5.jpg]] |
: Select '''Yes''' upon request to restart Eclipse. | : Select '''Yes''' upon request to restart Eclipse. | ||
| − | |||
== Verify your installation == | == Verify your installation == | ||
. | . | ||
Revision as of 18:04, 29 July 2008
This page lists the steps to set up TPTP with update manager in an Eclipse workbench.
Install TPTP
- Start Eclipse.
- Open Update Manager under Help > Software Updates...
- Select Available Software tab and expand Ganymede Update Site.
- Check Testing and Performance and select Install button to start the installation.
- In the Install dialog, select Next to continue.
- Accept license and select Finish to start the installation.
- Select Yes upon request to restart Eclipse.
Verify your installation
.