File:Coq logo.png

Aus Wikimedia Commons, dem freien Medienarchiv
Zur Navigation springen Zur Suche springen

Coq_logo.png ‎(66 × 100 Pixel, Dateigröße: 6 KB, MIME-Typ: image/png)

Bildtexte

Kurzbeschreibungen

Ergänze eine einzeilige Erklärung, was diese Datei darstellt.
Dieses Bild des Typs Logo sollte als Vektorgrafik im SVG-Format neu erstellt werden. Vektorformate haben zahlreiche Vorteile; weitere Information unter Commons:Media for cleanup. Wenn dir eine SVG-Version dieses Bildes vorliegt, so lade diese bitte hoch. Nach dem Hochladen der Datei ist diese Vorlage auf der aktuellen Bildbeschreibungsseite durch die Vorlage {{Vector version available}}, oder kürzer {{Vva}}, zu ersetzen. Es ist empfohlen die neue SVG-Datei „Coq logo.svg“ zu nennen – dann benötigt die Vorlage vector version available (bzw. vva) keinen Parameter.

Beschreibung[Bearbeiten]

Beschreibung
English: The coq project logo
Français : Le logo du projet coq
Datum Unbekanntes Datum
Unknown date
Quelle Distribué avec le logiciel coq
Urheber Non précisé dans le paquet logiciel

La véritable licence est la LGPL, mais le choix n'est pas proposé.

Lizenz[Bearbeiten]

GNU head Diese Bibliothek ist freie Software; sie darf weiterverteilt und/oder verändert werden unter der GNU Lesser General Public License, wie sie von der Free Software Foundation veröffentlicht wurde; dazu gelten die Bestimmungen der Version 2.1 oder (nach Wahl) einer späteren Version.

Diese Bibliothek wurde in der Hoffnung veröffentlicht, dass sie sich als nützlich erweisen könnte, jedoch ohne Garantie, auch ohne implizierte Garantie der Marktgängigkeit oder der Eignung zu einem bestimmten Zweck. Weitere Einzelheiten in der Version 2.1 und Version 3 der Lesser GNU General Public License.

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomVorschaubildMaßeBenutzerKommentar
aktuell14:50, 1. Apr. 2011Vorschaubild der Version vom 14:50, 1. Apr. 201166 × 100 (6 KB)Psychoslave (Diskussion | Beiträge){{Information |Description ={{en|1=The coq project logo}} {{fr|1=Le logo du projet coq}} |Source =Distribué avec le logiciel coq |Author =Non précisé dans le paquet logiciel |Date = |Permission = |other_versions = }} La

Du kannst diese Datei nicht überschreiben.

Die folgende Seite verwendet diese Datei:

Globale Dateiverwendung

Die nachfolgenden anderen Wikis verwenden diese Datei:

Abgerufen von „https://commons.wikimedia.org/w/index.php?title=File:Coq_logo.png&oldid=868242725“