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(它必须手工安装)的步骤

你可能感兴趣的:(eclipse,xml)