eclipse 在线安装TPTP
1. Start Eclipse.
2. Open Update Manager under Help > Install New Software...
3. Select Galileo (for Eclipse 3.5) or Helios (for Eclipse 3.6) from the Work with drop down list.
4. Check Test and Performance and select the Next button to verify the installation details.
(also input "Galileo - http://download.eclipse.org/releases/galileo")
5. In the Install dialog, select the Next button to start the installation.
6. Accept the license agreement(s) and select Finish to start the installation.
7. Select Yes when requested to restart Eclipse.
Verify your installation
A quick way to verify your TPTP installation is to make sure a Profile button is available after restart of Eclipse workbench.
郑重声明：本站内容如果来自互联网及其他传播媒体，其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享，并不代表本站赞同其观点和对其真实性负责，也不构成任何其他建议。
