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.http://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]