選擇TPTP所有的選項,安裝後重新啟動Eclipse。 重新啟動後可以看見TPTP專屬的Run. Create Profile. 建立Prifile專案. 選擇Execution ...
確定! 回上一頁