Install TPTP with Update Manager - Eclipsepedia

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.

Jump to: navigation, search

Revision as of 15:55, 16 June 2009 by Jcayne.ca.ibm.com (Talk | contribs) (→‎Install TPTP)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.

←Back to Profile with TPTP - plug-in development page

←Back to TPTP wiki page

Retrieved from "https://wiki.eclipse.org/index.php?title=Install_TPTP_with_Update_Manager&oldid=158864"