Archivo:Coq_plus_comm_screenshot.jpg
De Wikipedia, la enciclopedia encyclopedia
Tamaño de esta previsualización: 800 × 596 píxeles. Otras resoluciones: 320 × 238 píxeles · 640 × 477 píxeles · 823 × 613 píxeles.
Ver la imagen en su resolución original (823 × 613 píxeles; tamaño de archivo: 83 kB; tipo MIME: image/jpeg)
Este es un archivo de Wikimedia Commons, un depósito de contenido libre hospedado por la Fundación Wikimedia. Más abajo se reproduce su página de descripción con la información sobre su origen y licencia. |
Resumen
DescripciónCoq plus comm screenshot.jpg |
English: Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE |
Fecha |
28 de diciembre de 2007 (fecha original de carga) |
Fuente | snapshot of LGPL software CoqIDE ran in Gnome |
Autor | Hugo Herbelin |
Licencia
Se autoriza la copia, distribución y modificación de este documento bajo los términos de la licencia de documentación libre GNU, versión 1.2 o cualquier otra que posteriormente publique la Fundación para el Software Libre; sin secciones invariables, textos de portada, ni textos de contraportada. Se incluye una copia de la dicha licencia en la sección titulada Licencia de Documentación Libre GNU.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
Este archivo se encuentra bajo la licencia Creative Commons Genérica de Atribución/Compartir-Igual 3.0. | ||
| ||
Esta etiqueta de licencia fue agregada a este archivo como parte de la actualización de la licencia GFDL.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
Registro original de carga
Transferido desde en.wikipedia a Commons por Vernanimalcula usando CommonsHelper.
Aquí se muestra la página de descripción original. Los siguientes nombres de usuario se refieren a 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
Elementos representados en este archivo
representa a
28 dic 2007
image/jpeg
23a92695ecbf1035f63f8e31c150002b55b88cac
85 498 byte
613 píxel
823 píxel
Historial del archivo
Haz clic sobre una fecha y hora para ver el archivo tal como apareció en ese momento.
Fecha y hora | Miniatura | Dimensiones | Usuario | Comentario | |
---|---|---|---|---|---|
actual | 22:02 19 ene 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] |
Usos del archivo
La siguiente página usa este archivo:
Uso global del archivo
Las wikis siguientes utilizan este archivo:
- Uso en ca.wikipedia.org
- Uso en en.wikipedia.org
- Uso en ja.wikipedia.org
- Uso en pt.wikipedia.org
- Uso en th.wikipedia.org
- Uso en uz.wikipedia.org
- Uso en zh.wikipedia.org
Metadatos
Este archivo contiene información adicional, probablemente añadida por la cámara digital o el escáner usado para crearlo o digitalizarlo.
Si el archivo ha sido modificado desde su estado original, pueden haberse perdido algunos detalles.
_error | 0 |
---|