「TPTP」の編集履歴（バックアップ）一覧に戻る

TPTP - (2008/11/14 (金) 11:44:36) のソース

*Eclipse - TPTP
**Install
***Update Siteから
- TPTP Update site - http://eclipse.org/tptp/updates/
- EMF - http://download.eclipse.org/tools/emf/updates/
を登録。TPTP本体/EMF/XSDをインストール。
# Updateサイトは時間が掛かるかも。
***手動
http://www.eclipse.org/tptp/home/downloads/
からTPTP本体ダウンロード。他に必要なもののリンクも書かれているのでそれらも。(EMF/XSDは必須。あとはオプション？)
zipファイルを解凍して出来たディレクトリをeclipseのディレクトリに上書き。(features/pluginsの上書きでOK)

**使い方
...snip...