跳至內容

File:Coq plus comm screenshot.jpg

頁面內容不支援其他語言。
這個檔案來自維基共享資源
維基百科，自由的百科全書

原始檔案 （823 × 613 像素，檔案大小：83 KB，MIME 類型：image/jpeg）

摘要

描述
English: Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE
日期

2007年12月28日 (原始上傳日期)

(Original text: 29 Dec 2007)
來源 snapshot of LGPL software CoqIDE ran in Gnome
作者 Hugo Herbelin

授權條款

GNU head 已授權您依據自由軟體基金會發行的無固定段落、封面文字和封底文字GNU自由文件授權條款1.2版或任意後續版本，對本檔進行複製、傳播和／或修改。該協議的副本列在GNU自由文件授權條款中。
w:zh:創用CC
姓名標示 相同方式分享 		此檔案採用創用CC 姓名標示-相同方式分享 3.0 未在地化版本授權條款。
您可以自由：
  • 分享 – 複製、發佈和傳播本作品
  • 重新修改 – 創作演繹作品
惟需遵照下列條件：
  • 姓名標示 – 您必須指名出正確的製作者，和提供授權條款的連結，以及表示是否有對內容上做出變更。您可以用任何合理的方式來行動，但不得以任何方式表明授權條款是對您許可或是由您所使用。
  • 相同方式分享 – 如果您利用本素材進行再混合、轉換或創作，您必須基於如同原先的相同或兼容的條款，來分布您的貢獻成品。
已新增授權條款標題至此檔案，作為GFDL授權更新的一部份。

原始上傳日誌

Transferred from en.wikipedia to Commons by Vernanimalcula using CommonsHelper.

The original description page was here. All following user names refer to en.wikipedia.
  • 2007-12-28 23:21 Hugo Herbelin 823×613× (85498 bytes) {{Information |Description=Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE |Source=snapshot of LGPL software CoqIDE ran in Gnome |Date=29 Dec 2007 |Location= |Author=Hugo Herbelin |Permission= |o

說明

添加單行說明來描述出檔案所代表的內容

在此檔案描寫的項目

描繪內容

多媒體型式

image/jpeg

核對和

23a92695ecbf1035f63f8e31c150002b55b88cac

斷定方法：​SHA-1 中文 (已轉換拼寫)

資料大小

85,498 位元組

高度

613 像素

寬度

823 像素

檔案歷史

點選日期/時間以檢視該時間的檔案版本。

日期/時間縮⁠圖尺寸使用者備⁠註
目前2009年1月19日 (一) 22:02於 2009年1月19日 (一) 22:02 版本的縮圖823 × 613（83 KB）Vernanimalcula{{Information |Description={{en|Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE}} |Source=Transferred from [http://en.wikipedia.org en.wikipedia]; transferred to Commons by [[User:Vernanimalcula]

下列頁面有用到此檔案：

全域檔案使用狀況

以下其他 wiki 使用了這個檔案：

詮釋資料

此檔案中包含其他資訊，這些資訊可能是由數位相機或掃描器在建立或數位化過程中所新增的。若檔案自原始狀態已被修改，一些詳細資料可能無法完整反映出已修改的檔案。

取自「https://zh.wikipedia.org/wiki/File:Coq_plus_comm_screenshot.jpg」