Skip to main content

Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.

Jump to: navigation, search

COSMOS InstallGuide10

Revision as of 10:45, 7 February 2008 by Unnamed Poltroon (Talk) (New page: COSMOS Wiki > COSMOS Document Plan == Eclipse COSMOS Installation Guide V1.0 == The COSMOS V1.0 Release Builds (1.0.0) lists the COSMOS packages, ...)

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

COSMOS Wiki > COSMOS Document Plan

Eclipse COSMOS Installation Guide V1.0

The COSMOS V1.0 Release Builds (1.0.0) lists the COSMOS packages, prerequisites, and dependencies available for download.


Installing COSMOS

  1. Installing COSMOS prerequisites
  2. Installing COSMOS with one of the following techniques, either:
    1. Installing TPTP manually
    2. Installing TPTP with Eclipse Update Manager

Note: What other steps are needed?

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

Back to the top