Fail asli (823 × 613 piksel, saiz fail: 83 KB, jenis MIME: image/jpeg)
Fail ini dari Wikimedia Commons dan mungkin digunakan oleh projek lain.
Penerangan pada laman penerangan failnya di sana ditunjukkan di bawah.
Ringkasan
KeteranganCoq plus comm screenshot.jpg
English: Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE
Tarikh
28 Disember 2007 (original upload date)
(Original text: 29 Dec 2007)
Sumber
snapshot of LGPL software CoqIDE ran in Gnome
Pengarang
Hugo Herbelin
Perlesenan
Kebenaran diberikan untuk menyalin, mengedar dan/atau mengubah dokumen ini di bawah syarat-syarat Lesen Pendokumenan Bebas GNU, versi 1.2 atau mana-mana versi selepas ini, yang diterbitkan oleh Yayasan Perisian Bebas; tanpa Seksyen yang Tak Berubah, tanpa Teks Kulit Depan dan tanpa Teks Kulit Belakang. Salinan lesen ini boleh didapati dalam seksyen yang bertajuk Lesen Pendokumenan Bebas GNU".http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue
untuk berkongsi – untuk menyalin, mengedar dan memindah hasil kerja
untuk mencampur semula – untuk menyesuaikan karya
Di bawah syarat berikut:
pengiktirafan – Anda mesti memberi penghargaan yang berpatutan, bekalkan pautan ke lesen, dan tunjukkan jika perubahan telah dibuat. Anda boleh lakukannya dalam sebarang cara yang munasabah, tetapi bukan dalam sebarang cara yang mencadangkan pemberi lesen mengendors anda atau penggunaan anda.
perkongsian serupa – Jika anda mengubah, adun semula, atau menokok tambah bahan, anda mesti menyebarkan sumbangan anda di bawah lesen yang sama atau serasi dengan yang asal.
Tag pelesenan ini dibubuh pada fail ini sebagai sebahagian kemas kini pelesenan GFDLhttp://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue
The original description page was here. All following user names refer to 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
Captions
Add a one-line explanation of what this file represents
{{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]
Penggunaan fail
Tiada laman yang menggunakan fail ini.
Penggunaan fail sejagat
Fail ini digunakan oleh wiki-wiki lain yang berikut:
Fail ini mengandungi maklumat tambahan daripada kamera digital atau pengimbas yang digunakan untuk menghasilkannya. Jika fail ini telah diubah suai daripada rupa asalnya, beberapa butiran dalam maklumat ini mungkin sudah tidak relevan.