English: Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE
Datum
28. Dezember 2007 (Original-Hochladedatum)
(Originaltext: 29 Dec 2007)
Quelle
snapshot of LGPL software CoqIDE ran in Gnome
Urheber
Hugo Herbelin
Lizenz
Es ist erlaubt, die Datei unter den Bedingungen der GNU-Lizenz für freie Dokumentation, Version 1.2 oder einer späteren Version, veröffentlicht von der Free Software Foundation, zu kopieren, zu verbreiten und/oder zu modifizieren; es gibt keine unveränderlichen Abschnitte, keinen vorderen und keinen hinteren Umschlagtext.
Der vollständige Text der Lizenz ist im Kapitel GNU-Lizenz für freie Dokumentation verfügbar.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue
verbreitet werden – vervielfältigt, verbreitet und öffentlich zugänglich gemacht werden
neu zusammengestellt werden – abgewandelt und bearbeitet werden
Zu den folgenden Bedingungen:
Namensnennung – Du musst angemessene Urheber- und Rechteangaben machen, einen Link zur Lizenz beifügen und angeben, ob Änderungen vorgenommen wurden. Diese Angaben dürfen in jeder angemessenen Art und Weise gemacht werden, allerdings nicht so, dass der Eindruck entsteht, der Lizenzgeber unterstütze gerade dich oder deine Nutzung besonders.
Diese Lizenzmarkierung wurde auf Grund der GFDL-Lizenzaktualisierung hinzugefügt.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue
Die ursprüngliche Dateibeschreibungsseite war hier. Alle folgenden Benutzernamen beziehen sich auf 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
Kurzbeschreibungen
Ergänze eine einzeilige Erklärung, was diese Datei darstellt.
{{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]
Dateiverwendung
Keine Seiten verwenden diese Datei.
Globale Dateiverwendung
Die nachfolgenden anderen Wikis verwenden diese Datei:
Diese Datei enthält weitere Informationen (beispielsweise Exif-Metadaten), die in der Regel von der Digitalkamera oder dem verwendeten Scanner stammen. Durch nachträgliche Bearbeitung der Originaldatei können einige Details verändert worden sein.