File:Coq_plus_comm_screenshot.jpg
From Wikipedia, the free encyclopedia
Size of this preview: 800 × 596 pixels. Other resolutions: 320 × 238 pixels | 640 × 477 pixels | 823 × 613 pixels.
Original file (823 × 613 pixels, file size: 83 KB, MIME type: image/jpeg)
This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
DescriptionCoq plus comm screenshot.jpg |
English: Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE |
Date |
28 December 2007 (original upload date) |
Source | snapshot of LGPL software CoqIDE ran in Gnome |
Author | Hugo Herbelin |
Licensing
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license. | ||
| ||
This licensing tag was added to this file as part of the GFDL licensing update.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
Original upload log
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
In dieser Datei abgebildete Objekte
depicts
28 December 2007
image/jpeg
23a92695ecbf1035f63f8e31c150002b55b88cac
85,498 byte
613 pixel
823 pixel
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 22:02, 19 January 2009 | 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] |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on ca.wikipedia.org
- Usage on es.wikipedia.org
- Usage on ja.wikipedia.org
- Usage on pt.wikipedia.org
- Usage on th.wikipedia.org
- Usage on uz.wikipedia.org
- Usage on zh.wikipedia.org
Metadata
This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.
If the file has been modified from its original state, some details may not fully reflect the modified file.
_error | 0 |
---|
Retrieved from "https://en.wikipedia.org/wiki/File:Coq_plus_comm_screenshot.jpg"