Viquipèdia

Fitxer:Coq plus comm screenshot.jpg

Fitxer original ‎(823 × 613 píxels, mida del fitxer: 83 Ko, tipus MIME: image/jpeg)

Descripció a Commons

Resum

Descripció
English: Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE
Data

28 de desembre de 2007 (original upload date)

(Original text: 29 Dec 2007)
Font snapshot of LGPL software CoqIDE ran in Gnome
Autor Hugo Herbelin

Llicència

GNU head S'autoritza la còpia, la distribució i la modificació d'aquest document sota els termes de la llicència de documentació lliure GNU versió 1.2 o qualsevol altra versió posterior que publiqui la Free Software Foundation; sense seccions invariants, ni textos de portada, ni textos de contraportada. S'inclou una còpia d'aquesta llicència en la secció titulada GNU Free Documentation License.
w:ca:Creative Commons
reconeixement compartir igual 		Aquest fitxer està subjecte a la llicència de Creative Commons Reconeixement i Compartir Igual 3.0 No adaptada.
Sou lliure de:
  • compartir – copiar, distribuir i comunicar públicament l'obra
  • adaptar – fer-ne obres derivades
Amb les condicions següents:
  • reconeixement – Heu de donar la informació adequada sobre l'autor, proporcionar un enllaç a la llicència i indicar si s'han realitzat canvis. Podeu fer-ho amb qualsevol mitjà raonable, però de cap manera no suggereixi que l'autor us dóna suport o aprova l'ús que en feu.
  • compartir igual – Si modifiqueu, transformeu, o generareu amb el material, haureu de distribuir les vostres contribucions sota una llicència similar o una de compatible com l'original
Aquest avís de llicència s'ha afegit a aquest fitxer d'acord amb l'actualització de la llicència GFDL.

Registre original de càrregues

Transferred from en.wikipedia to Commons by Vernanimalcula using CommonsHelper.

La pàgina de descripció original era aquí. Els noms d'usuari a continuació es refereixen 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

Llegendes

Afegeix una explicació d'una línia del que representa aquest fitxer

Elements representats en aquest fitxer

representa l'entitat

alçària

613 píxel

amplada

823 píxel

Historial del fitxer

Cliqueu una data/hora per veure el fitxer tal com era aleshores.

Data/horaMiniaturaDimensionsUsuari/aComentari
actual00:02, 20 gen 2009Miniatura per a la versió del 00:02, 20 gen 2009823 × 613 (83 Ko)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]

La pàgina següent utilitza aquest fitxer:

Ús global del fitxer

Utilització d'aquest fitxer en altres wikis:

Metadades

Aquest fitxer conté informació addicional, probablement afegida per la càmera digital o l'escàner utilitzat per a crear-lo o digitalitzar-lo. Si s'ha modificat posteriorment, alguns detalls poden no reflectir les dades reals del fitxer modificat.

Obtingut de «https://ca.wikipedia.org/wiki/Fitxer:Coq_plus_comm_screenshot.jpg»