Read Sean
Read me, read Sean.
posts - 508, comments - 655, trackbacks - 9, articles - 4
導航
BlogJava
首頁
新隨筆
聯系
聚合
管理
公告
關于我
人生是一場對話
我的譯作
聲明
所有文章和代碼在這里以"現狀"提供,作者不提供任何形式的擔保,也沒有授予除閱讀和有條件共享之外的任何權利。除非特別說明,所有文章均為本blog作者原創,如需轉載請注明出處和原作者,如用于商業目的,需作者本人書面許可。
推薦文章
Pylons起步
常用鏈接
我的隨筆
我的評論
我的參與
最新評論
留言簿
(29)
給我留言
查看公開留言
查看私人留言
隨筆分類
(842)
Computer Usage(72)
Database(9)
GNU/Linux(30)
On Eclipse(52)
On Java(131)
On Python(11)
Operating Systems(70)
Other Languages(28)
Programming in General(41)
Project Management(25)
Reading(189)
The Other Side(129)
Web Clips(55)
隨筆檔案
(507)
2014年5月 (1)
2014年4月 (1)
2014年3月 (1)
2014年1月 (1)
2012年11月 (1)
2011年8月 (2)
2011年7月 (1)
2011年3月 (1)
2011年2月 (2)
2011年1月 (5)
2010年12月 (2)
2010年1月 (1)
2009年12月 (1)
2009年11月 (1)
2009年10月 (1)
2009年9月 (1)
2009年8月 (1)
2009年7月 (1)
2009年6月 (2)
2009年5月 (1)
2009年4月 (1)
2009年3月 (2)
2009年2月 (2)
2009年1月 (15)
2008年12月 (10)
2008年11月 (1)
2008年10月 (4)
2008年9月 (1)
2008年8月 (3)
2008年7月 (3)
2008年6月 (2)
2008年5月 (2)
2008年4月 (1)
2008年3月 (4)
2008年2月 (5)
2008年1月 (4)
2007年12月 (2)
2007年11月 (2)
2007年10月 (1)
2007年9月 (1)
2007年8月 (2)
2007年7月 (2)
2007年6月 (4)
2007年5月 (3)
2007年4月 (5)
2007年3月 (4)
2007年2月 (23)
2007年1月 (26)
2006年12月 (30)
2006年11月 (14)
2006年10月 (6)
2006年9月 (2)
2006年8月 (3)
2006年7月 (3)
2006年6月 (5)
2006年5月 (3)
2006年4月 (17)
2006年3月 (9)
2006年2月 (28)
2006年1月 (17)
2005年12月 (8)
2005年11月 (23)
2005年10月 (43)
2005年9月 (19)
2005年8月 (30)
2005年7月 (13)
2005年6月 (7)
2005年5月 (5)
2005年4月 (12)
2005年3月 (20)
2005年2月 (19)
2005年1月 (8)
文章檔案
(4)
2010年12月 (1)
2009年1月 (1)
2005年8月 (1)
2005年1月 (1)
Friends' blogs
emu in blogjava
jackei
kukoo's blog
搜索
積分與排名
積分 - 783648
排名 - 54
最新評論
1.?re: [Tips] <abbr>: 一個有趣的HTML標簽
dqwdqwdqw
--額范圍啊
2.?re: [Tips] <abbr>: 一個有趣的HTML標簽
<scrtpt>alert("fwefwargvaerg");</script>
--額范圍啊
3.?re: iText vs FOP - Java動態生成PDF的兩個選擇
用0.95報錯的大概意思是還不支持。。。。。
本地字庫的字體embet不進去。。。。
--fop
4.?re: iText vs FOP - Java動態生成PDF的兩個選擇
代碼拷貝運行報錯啊
--fop
5.?11[未登錄]
404
--00
6.?re: [Tips] Spring 2.5.6新特性之packagesToScan
101
--11
7.?re: Mac安裝tsocks
評論內容較長,點擊標題查看
--mzj
8.?re: [Jakarta Commons筆記] org.apache.commons.lang.time
哈哈,什么情況,10年前的文章,今天來讀一讀
--宇飛
9.?re: Mac安裝tsocks
有一個proxychains-ng項目,還在更新,可以試試的
--ayanamist
10.?re: SourceForge.net上的文件下載頁面無法打開的一種解決方法
評論內容較長,點擊標題查看
--Douglas
11.?re: [Tips] Windows/Linux雙系統重裝Windows后無法進入Linux的最速解決辦法
linux是進去了,windows又進不去了
--ss
12.?re: [RPi] 樹梅派安裝Archlinux和藍牙
這種便宜dongle有個問題就是藍牙MAC地址是一樣的,同一環境下使用多個會有點麻煩,需要找個辦法繞過去。
--laogao
13.?re: [愚公移山] 團隊CVS資源庫從CVSNT遷移到Linux
評論內容較長,點擊標題查看
--guest
14.?re: [Jakarta 筆記] org.apache.commons.lang.math[未登錄]
評論內容較長,點擊標題查看
--doctor
15.?re: Jakarta Commons專題 - 隨筆列表
可惜晚了這么多年,才讀到樓主的文章。
--rox
閱讀排行榜
1.?[Tips] 惱人的winmail.dat及解決辦法(36633)
2.?[Eclipse筆記]在Eclipse下做UML設計(28413)
3.?[Tips] Spring 2.5.6新特性之packagesToScan(22738)
4.?iText vs FOP - Java動態生成PDF的兩個選擇(13777)
5.?IntelliJ IDEA 常用快捷鍵(12899)
6.?pyPdf - 用Python方便的處理PDF文檔(12659)
7.?[Linux起步]配置Java和Eclipse環境(9879)
8.?Java命令行實用工具jps和jstat(9498)
9.?你真的理解了繼承和多態嗎?(7684)
10.?Drip, Transfusion, Perfusion還是Infusion?關于一個詞的翻譯(7592)
11.?[Eclipse筆記]配置SWT開發環境(7545)
12.?[Jakarta Commons筆記] org.apache.commons.lang.time(7370)
13.?如何在Ubuntu下訪問本地NTFS分區(6504)
14.?[Jakarta Commons筆記] org.apache.commons.lang.builder(6097)
15.?J2SE(TM) 5.0專題 之 語言特性 // 勘誤信息請直接回復(5751)
評論排行榜
1.?[Tips] 惱人的winmail.dat及解決辦法(48)
2.?6個Gmail邀請,需要的朋友請在這里回復。(已結束)(34)
3.?[Eclipse筆記]在Eclipse下做UML設計(29)
4.?[Eclipse筆記]請對Java、Sun、NetBeans、Eclipse感興趣朋友的看看Eclipse對Sun的心態吧(19)
5.?令人驚喜的Feisty,讓人失望的Evolution(15)
6.?你真的理解了繼承和多態嗎?(14)
7.?[Jakarta Commons筆記] org.apache.commons.lang.time(11)
8.?iText vs FOP - Java動態生成PDF的兩個選擇(11)
9.?[Eclipse筆記]SWT真正的優勢不是快這么簡單(9)
10.?[Linux起步]SuSE Linux 10.0正式發布(9)
11.?Drip, Transfusion, Perfusion還是Infusion?關于一個詞的翻譯(8)
12.?[Tips] 在Ubuntu Linux 6.06 LTS (Dapper Drake)上安裝CVS服務(8)
13.?Nikon F80 + AF Nikkor 50mm/1.4 D 的魅力(8)
14.?[Linux起步]配置Java和Eclipse環境(7)
15.?J2SE(TM) 5.0專題 之 語言特性 // 勘誤信息請直接回復(7)
[TPTP]關于TPTP的快速簡明安裝
Posted on 2005-11-10 23:14
laogao
閱讀(3832)
評論(0)
編輯
收藏
所屬分類:
On Eclipse
為了學習和使用TPTP,并且基于此開發自定義的測試工具,我們需要安裝和配置Eclipse環境。為了減輕大家到處查看英文網頁的負擔,在這里做個簡要說明:
1- 下載和安裝JDK:
http://java.sun.com/j2se/1.5.0/download.jsp
目前最新的是JDK 5.0 Update 5
2- 下載和安裝Eclipse SDK:
http://eclipse.org/downloads/index.php
目前最新的版本是3.1.1,解壓即可。
http://download.eclipse.org/downloads/drops/R-3.1.1-200509290840/index.php
3- 下載EMF SDK 2.1.1:
http://www.eclipse.org/downloads/download.php?file=/tools/emf/downloads/drops/2.1.1/R200509281310/emf-sdo-SDK-2.1.1.zip
這是TPTP依賴的SDK,解壓到Eclipse SDK相同的目錄。
4- 下載XSD SDK 2.1.1:
http://www.eclipse.org/downloads/download.php?file=/tools/emf/downloads/drops/2.1.1/R200509281310/xsd-SDK-2.1.1.zip
這是TPTP依賴的SDK,解壓到Eclipse SDK相同的目錄。
5- 下載TPTP SDK 4.0.1:
http://www.eclipse.org/downloads/download.php?file=/tptp/4.0.1/TPTP-4.0.1-200510031151/tptp.sdk-TPTP-4.0.1-200510031151.zip
解壓到Eclipse SDK相同的目錄。
6- 啟動Eclipse:
直接點eclipse/eclipse.exe啟動,如果發現TPTP無法加載,使用-clean參數執行eclipse.exe一次。
// 歡迎光顧
http://www.eclipseworld.org/thread.php?fid=72
中國Eclipse社區TPTP版參與相關話題討論。
新用戶注冊
刷新評論列表
只有注冊用戶
登錄
后才能發表評論。
網站導航:
博客園
IT新聞
Chat2DB
C++博客
博問
管理
相關文章:
如何讓統一版本的Eclipse RCP應用同時支持多個平臺
[Tips] 在Linux環境下調整Eclipse中樹狀列表(GtkTreeView)的顯示密度
[鏈接] 兩個有趣的Eclipse插件
[新聞] Eclipse 3.2 (Callisto) is finally here!
[鏈接] Callisto is coming!
[鏈接] Eclipse 3.2 RC2 發布
[鏈接]Eclipse 3.2 RC1發布。
[鏈接]差點漏掉 - Eclipse 3.2 M6出來了
[閱讀]Eclispe as an Ecosystem
[鏈接]用于RCP的日期控件
Powered by:
BlogJava
Copyright © laogao
主站蜘蛛池模板:
陆河县
|
鹤壁市
|
融水
|
札达县
|
博兴县
|
陕西省
|
车致
|
孝义市
|
鹰潭市
|
莆田市
|
宜春市
|
若尔盖县
|
台北县
|
同心县
|
嘉禾县
|
鄱阳县
|
延吉市
|
临泽县
|
邻水
|
武强县
|
仲巴县
|
南城县
|
陇南市
|
平武县
|
北票市
|
临桂县
|
正蓝旗
|
福州市
|
右玉县
|
玉环县
|
芒康县
|
巴里
|
杨浦区
|
三穗县
|
清水县
|
馆陶县
|
三都
|
顺义区
|
定西市
|
大厂
|
砚山县
|