Fail:Coq plus comm screenshot.jpg

Kandungan laman tidak disokong dalam bahasa lain.
Daripada Wikipedia, ensiklopedia bebas.

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

Keterangan
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

GNU head 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".
w:ms:Creative Commons
pengiktirafan perkongsian serupa
Fail ini dilesenkan di bawah lesen Pengiktirafan-Perkongsian Serupa 3.0 Tidak Diport Creative Commons.
Anda bebas:
  • 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 GFDL

Log muat naik asal

Transferred from en.wikipedia to Commons by Vernanimalcula using CommonsHelper.

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

Items portrayed in this file

menggambarkan

28 Disember 2007

media type Inggeris

image/jpeg

23a92695ecbf1035f63f8e31c150002b55b88cac

85,498 bait

613 piksel

823 piksel

Sejarah fail

Klik pada tarikh/waktu untuk melihat rupa fail tersebut pada waktu itu.

Tarikh/WaktuGambar kenitUkuranPenggunaKomen
semasa22:02, 19 Januari 2009Gambar kenit bagi versi pada 22:02, 19 Januari 2009823 × 613 (83 KB)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]

Tiada laman yang menggunakan fail ini.

Penggunaan fail sejagat

Fail ini digunakan oleh wiki-wiki lain yang berikut:

Metadata