问题标签 [eclipse-tptp]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
1 回答
57 浏览

java - 安装 TPTP 配置文件工具

我已经按照说明安装了TPTP工具。 https://wiki.eclipse.org/Install_TPTP_with_Update_Manager

重新启动后,我仍然找不到 TPTP 配置文件按钮。如何启用它?