File:Coq plus comm screenshot.jpg
维基共享资源,媒体文件资料库
跳转到导航
跳转到搜索
![File:Coq plus comm screenshot.jpg](https://upload.wikimedia.org/wikipedia/commons/thumb/8/8b/Coq_plus_comm_screenshot.jpg/800px-Coq_plus_comm_screenshot.jpg?20090119220225)
本预览的尺寸:800 × 596像素。 其他分辨率:320 × 238像素 | 640 × 477像素 | 823 × 613像素。
原始文件 (823 × 613像素,文件大小:83 KB,MIME类型:image/jpeg)
文件信息
结构化数据
说明
说明
添加一行文字以描述该文件所表现的内容
摘要
[编辑]描述Coq plus comm screenshot.jpg |
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”。http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
![]() ![]() ![]() |
本文件采用知识共享署名-相同方式共享 3.0 未本地化版本许可协议授权。 | |
| ||
本许可协议标签作为GFDL许可协议更新的组成部分被添加至本文件。http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
原始上传日志
[编辑]本檔案是由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上的用途
- zh.wikipedia.org上的用途
元数据
此文件含有额外信息,这些信息可能是创建或数字化该文件时使用的数码相机或扫描仪所添加的。如果文件已从其原始状态修改,某些详细信息可能无法完全反映修改后的文件。
_error | 0 |
---|