Eclipse TPTP プロファイル

Java

2つのマシンで動作確認成功したので、取り急ぎEclipseへのinstallだけ(10分もあれば終わります)

UpdateManagerでのインストールは何度か失敗したのでzipでのインストール方法。
# WindowsXP/2000, Eclipse3.1.2, JDK1.4.2_08 で試しました

EMF SDK

emf-sdo-xsd-SDK-2.1.1.zip　をdownload

TPTP Runtime

tptp.sdk-TPTP-4.1.0.1.zip　をdownload

上記downloadしたzipを解凍して、$ECLIPSE_HOMEにコピーすればTPTPのinstall自体は完了。

AgentController等は後ほど。