TPTP插件安装

      使用 Eclipse Update Manager 安装 TPTP（可选）
如果已经安装了 Eclipse，那么可以使用 Eclipse Update Manager 安装 TPTP。步骤如下：
1.    点击 Help > Software Updates > Find and Install。
2.    选择 Search for new features to install 选项，然后点击 Next。
3.    点击 New Remote Site，然后分别输入 TPTP Update Site 和 http://eclipse.org/tptp/updates/site.xml 作为名称和 URL。点击 Finish。
4.    选择要安装的特性，然后点击 Next。
5.    接受许可协议，点击 Next，然后点击 Finish。
6.    在确认提示中，点击 Install All。当安装完成时，重新启动 Eclipse。
现在，可以跳过后面 “安装 Agent Controller” 小节中描述的安装 Agent Controller（它必须手工安装）的步骤

评论

1 楼 chenhailong 2011-02-23  

链接失效，请更换链接。