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日 (原始上传日期)

(原始文本: 29 Dec 2007)
来源 snapshot of LGPL software CoqIDE ran in Gnome
作者 Hugo Herbelin

许可协议

GNU head 已授权您依据自由软件基金会发行的无固定段落及封面封底文字（Invariant Sections, Front-Cover Texts, and Back-Cover Texts）的GNU自由文件许可协议1.2版或任意后续版本的条款，复制、传播和／或修改本文件。该协议的副本请见“GNU Free Documentation License”。
w:zh:知识共享
署名 相同方式共享 		本文件采用知识共享署名-相同方式共享 3.0 未本地化版本许可协议授权。
您可以自由地：
  • 共享 – 复制、发行并传播本作品
  • 修改 – 改编作品
惟须遵守下列条件：
  • 署名 – 您必须对作品进行署名，提供授权条款的链接，并说明是否对原始内容进行了更改。您可以用任何合理的方式来署名，但不得以任何方式表明许可人认可您或您的使用。
  • 相同方式共享 – 如果您再混合、转换或者基于本作品进行创作，您必须以与原先许可协议相同或相兼容的许可协议分发您贡献的作品。
本许可协议标签作为GFDL许可协议更新的组成部分被添加至本文件。

原始上传日志

本檔案是由Vernanimalcula使用CommonsHelper，從en.wikipedia轉移到維基共享資源。

原始描述頁面位於這裡。下列使用者名稱均來自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:022009年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”