问题标签 [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.
31 问题
0
投票
1
回答
57
浏览
java - 安装 TPTP 配置文件工具
我已经按照说明安装了TPTP工具。 https://wiki.eclipse.org/Install_TPTP_with_Update_Manager
重新启动后,我仍然找不到 TPTP 配置文件按钮。如何启用它?