Eclipse TPTP プロファイル
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等は後ほど。