Skip to main content
Jump to: navigation, search

Install TPTP with Update Manager

Revision as of 17:40, 29 July 2008 by Ewchan.ca.ibm.com (Talk | contribs) (New page: This page is aimed to help Eclipse user on setting up TPTP with update manager. # Start Eclipse. # Open Update Manager under '''Help''' > '''Software Updates'''... [[Image:Example.jpg...)

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

This page is aimed to help Eclipse user on setting up TPTP with update manager.

  1. Start Eclipse.
  2. Open Update Manager under Help > Software Updates... 
  Example.jpg
  1. Select Available Software tab and expand Ganymede Update Site.
  2. Check Testing and Performance and select Install button to start the installation.
Retrieved from "https://wiki.eclipse.org/index.php?title=Install_TPTP_with_Update_Manager&oldid=111814"

Back to the top