File:Coq plus comm screenshot.jpg
本预览的尺寸：800 × 596像素。 其他分辨率：320 × 238像素 | 640 × 477像素 | 823 × 613像素。
原始文件 （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日 (原始上传日期) |
| 来源 | snapshot of LGPL software CoqIDE ran in Gnome |
| 作者 | Hugo Herbelin |
许可协议
|
已授权您依据自由软件基金会发行的无固定段落及封面封底文字（Invariant Sections, Front-Cover Texts, and Back-Cover Texts）的GNU自由文件许可协议1.2版或任意后续版本的条款，复制、传播和／或修改本文件。该协议的副本请见“GNU Free Documentation License”。 |
  
|
本文件采用知识共享署名-相同方式共享 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
文件历史
点击某个日期/时间查看对应时刻的文件。
| 日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
|---|---|---|---|---|---|
| 当前 | 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使用此文件：
- ca.wikipedia.org上的用途
- en.wikipedia.org上的用途
- es.wikipedia.org上的用途
- ja.wikipedia.org上的用途
- pt.wikipedia.org上的用途
- th.wikipedia.org上的用途
- uz.wikipedia.org上的用途
