ファイル:Coq_plus_comm_screenshot.jpg
ウィキペディア フリーな encyclopedia
このプレビューのサイズ: 800 × 596 ピクセル。 その他の解像度: 320 × 238 ピクセル | 640 × 477 ピクセル | 823 × 613 ピクセル。
元のファイル (823 × 613 ピクセル、ファイルサイズ: 83キロバイト、MIME タイプ: image/jpeg)
ウィキメディア・コモンズのファイルページにある説明を、以下に表示します。
|
概要
解説Coq plus comm screenshot.jpg |
English: Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE |
日付 |
2007年12月28日 (当初のアップロード日) |
原典 | snapshot of LGPL software CoqIDE ran in Gnome |
作者 | Hugo Herbelin |
ライセンス
この文書は、フリーソフトウェア財団発行のGNUフリー文書利用許諾書 (GNU Free Documentation License) 1.2またはそれ以降のバージョンの規約に基づき、複製や再配布、改変が許可されます。不可変更部分、表紙、背表紙はありません。このライセンスの複製は、GNUフリー文書利用許諾書という章に含まれています。http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
このファイルはクリエイティブ・コモンズ 表示-継承 3.0 非移植ライセンスのもとに利用を許諾されています。 | ||
| ||
このライセンスのテンプレートは、GFDLのライセンス・アップデートによりこのファイルに追加されたものです。http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
元のアップロードログ
en.wikipedia からコモンズに Vernanimalcula によって CommonsHelper を用いて移動されました。
元のファイルページはこちら。以下の利用者は全て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
このファイルに描写されている項目
題材
28 12 2007
image/jpeg
23a92695ecbf1035f63f8e31c150002b55b88cac
85,498 バイト
613 ピクセル
823 ピクセル
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
日付と時刻 | サムネイル | 寸法 | 利用者 | コメント | |
---|---|---|---|---|---|
現在の版 | 2009年1月19日 (月) 22:02 | 823 × 613(83キロバイト) | 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] |
ファイルの使用状況
以下のページがこのファイルを使用しています:
グローバルなファイル使用状況
以下に挙げる他のウィキがこの画像を使っています:
- ca.wikipedia.org での使用状況
- en.wikipedia.org での使用状況
- es.wikipedia.org での使用状況
- pt.wikipedia.org での使用状況
- th.wikipedia.org での使用状況
- uz.wikipedia.org での使用状況
- zh.wikipedia.org での使用状況
メタデータ
このファイルには、追加情報があります (おそらく、作成やデジタル化する際に使用したデジタルカメラやスキャナーが追加したものです)。
このファイルが元の状態から変更されている場合、修正されたファイルを完全に反映していない項目がある場合があります。
_error | 0 |
---|