Vikipediya

Fayl:Coq plus comm screenshot.jpg

Asl fayl ‎(823 × 613 piksel, fayl hajmi: 83 KB, MIME tipi: image/jpeg)

Ushbu fayl Vikiomborga yuklangan boʻlib, boshqa loyihalarda ham qoʻllanilishi mumkin. Uning tavsif sahifasidan olingan maʼlumot quyida keltirilgan.

Qisqa izoh

Taʼrif
English: Snapshot of the definition of the Coq standard library constant plus_comm displayed in LGPL software CoqIDE
Sanasi

28 Dekabr 2007 (original upload date)

(Original text: 29 Dec 2007)
Manba snapshot of LGPL software CoqIDE ran in Gnome
Muallif Hugo Herbelin

Litsenziyalash

GNU head Ushbu hujjatdan nusxa ko‘chirish, tarqatish va/yoki o‘zgartirish uchun GNU Erkin guvohnoma litsenziyasi (GNU Free Documentation License), 1.2 va har qanday keyingi versiyalar shartlariga muvofiq ruxsat berilgan yoki Ochiq kodli dasturlar jamiyati (Free Software Foundation) tomonidan chop etilgan; oʻzgarmas boʻlimlarsiz, oldingi muqova matnlari va orqa muqova matnlarisiz. Litsenziya nusxasi GNU Erkin guvohnoma litsenziyasi (GNU Free Documentation License) boʻlimiga kiritilgan.
w:en:Creative Commons
atribut bir xil ulashish 		Bu fayl Creative Commons asosida litsenziyalangan Attribution- Share Alike 3.0 Unported litsenziyasi.
Siz erkinsiz:
  • ulashishga – ishlanmani nusxalash, tarqatish va uzatish
  • remiks qilishga – ishni moslashtirishga
Quyidagi shartlar asosida:
  • atribut – Siz tegishli litsenziyaga havolani taqdim etishingiz va oʻzgartirishlar kiritilganligini koʻrsatishingiz kerak. Siz buni har qanday oqilona yoʻl bilan qilishingiz mumkin, lekin litsenziar Sizni yoki Sizning foydalanishingizni ma'qullashini taklif qiladigan tarzda emas.
  • bir xil ulashish – Agar Siz materialni remiks qilsangiz, oʻzgartirsangiz yoki unga asoslansangiz, oʻz hissalaringizni asl nusxadagi kabi bir xil yoki mos litsenziya ostida tarqatishingiz kerak.
This licensing tag was added to this file as part of the GFDL licensing update.

Original upload log

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

tasvirlangan ob'ekt

tashkil etilgan

28 Dekabr 2007

MIME turi

image/jpeg

checksum inglizcha

23a92695ecbf1035f63f8e31c150002b55b88cac

determination method inglizcha: SHA-1 inglizcha

data size inglizcha

85 498 Bayt

width inglizcha

823 piksel

Fayl tarixi

Faylning biror paytdagi holatini koʻrish uchun tegishli sana/vaqtga bosingiz.

Sana/VaqtMiniaturaOʻlchamlariFoydalanuvchiIzoh
joriy22:02, 19-Yanvar 200922:02, 19-Yanvar 2009 dagi versiya uchun tasvir823 × 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]

Bu faylga quyidagi sahifa bogʻlangan:

Faylning global foydalanilishi

Ushbu fayl quyidagi vikilarda ishlatilyapti:

Metama’lumot

Bu fayl qoʻshimcha maʼlumotlarni oʻz ichiga oladi, ehtimol uni tuzish yoxud raqamlashtirish uchun raqamli kamera yoki skanerdan foydalanilgan.

Agar fayl asl holatidan oʻzgartirilgan boʻlsa, baʼzi tafsilotlar oʻzgartirilgan faylni toʻliq aks ettirmasligi mumkin.

"https://uz.wikipedia.org/wiki/Fayl:Coq_plus_comm_screenshot.jpg" dan olindi