Datei:Coq logo.png
Zur Navigation springen
Zur Suche springen
Es ist keine höhere Auflösung vorhanden.
Coq_logo.png (66 × 100 Pixel, Dateigröße: 6 KB, MIME-Typ: image/png)
Diese Datei und die Informationen unter dem roten Trennstrich werden aus dem zentralen Medienarchiv Wikimedia Commons eingebunden.
|
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
| Beschreibung |
English: The coq project logo
Français : Le logo du projet coq |
| Datum | Unbekanntes Datum |
| 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
|
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 vom | Vorschaubild | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|---|
| aktuell | 16:50, 1. Apr. 2011 | | 66 × 100 (6 KB) | Psychoslave | {{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 |
Dateiverwendung
Die folgende Seite verwendet diese Datei:
Globale Dateiverwendung
Die nachfolgenden anderen Wikis verwenden diese Datei:
- Verwendung auf en.wikipedia.org
- Verwendung auf fr.wikipedia.org
- Verwendung auf ja.wikipedia.org
- Verwendung auf ru.wikipedia.org
- Verwendung auf uk.wikipedia.org
- Verwendung auf www.wikidata.org
- Verwendung auf zh.wikipedia.org
