我已经按照说明安装了TPTP工具。 https://wiki.eclipse.org/Install_TPTP_with_Update_Manager
重新启动后，我仍然找不到 TPTP 配置文件按钮。如何启用它？
问问题
57 次
1 回答
0
Eclipse TPTP 对于更高版本的 Eclipse 已过时，它仅支持 Helios 和 Galileo 版本的 Eclipse。此外 TPTP 在 Eclipse Market 中也不可用。
可能，此链接可能对您有所帮助。
https://wiki.eclipse.org/Profiling_with_TPTP__-_plug-in_development
于 2019-12-03T07:37:13.940 回答