エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Eclipse TPTP プロファイル - よねのはてな
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Eclipse TPTP プロファイル - よねのはてな
2つのマシンで動作確認成功したので、取り急ぎEclipseへのinstallだけ(10分もあれば終わります) UpdateM... 2つのマシンで動作確認成功したので、取り急ぎEclipseへのinstallだけ(10分もあれば終わります) UpdateManagerでのインストールは何度か失敗したのでzipでのインストール方法。 # WindowsXP/2000, Eclipse3.1.2, JDK1.4.2_08 で試しました EMF SDK emf-sdo-xsd-SDK-2.1.1.zip をdownload TPTP Runtime tptp.sdk-TPTP-4.1.0.1.zip をdownload 上記downloadしたzipを解凍して、$ECLIPSE_HOMEにコピーすればTPTPのinstall自体は完了。 AgentController等は後ほど。