File:Coq plus comm screenshot.jpg - Wikipedia
- ️Fri Dec 28 2007
From Wikipedia, the free encyclopedia
Original file (823 × 613 pixels, file size: 83 KB, MIME type: image/jpeg)
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 page uses this file:
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
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 |
|---|