Image:Coq plus comm screenshot.jpg
From Wikipedia, the free encyclopedia
Size of this preview: 800 × 596 pixels
Full resolution (823 × 613 pixels, file size: 83 KB, MIME type: image/jpeg)
[edit] Summary
| 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 |
| Author |
Hugo Herbelin |
| Permission (Reusing this image) |
See below. |
[edit] 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. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 23:21, 28 December 2007 | 823×613 (83 KB) | Hugo Herbelin (Talk | contribs) | ({{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) |
- Search for duplicate files
- Edit this file using an external application
See the setup instructions for more information.
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):
