【发布时间】:2020-03-27 19:48:47
【问题描述】:
我已经按照说明安装了TPTP工具。 https://wiki.eclipse.org/Install_TPTP_with_Update_Manager
重新启动后,我仍然找不到 TPTP 配置文件按钮。如何开启?
【问题讨论】:
-
你用的是哪个版本的eclipse?
-
版本:2018-09 (4.9.0)
标签: java eclipse-tptp