ꯐꯥꯏꯜ:Coq plus comm screenshot.jpg
Error creating thumbnail: File missing
ꯑꯇꯩ ꯔꯤꯁꯣꯂꯨꯁꯟ: ৮২৩ × ৬১৩ ꯄꯤꯛꯆꯦꯜꯁ.
ꯐꯥꯏꯜ ꯑꯁꯦꯡꯕ (৮২৩ × ৬১৩ ꯄꯤꯛꯆꯦꯜꯁ, ꯐꯥꯏꯜ ꯆꯥꯎꯕꯒꯤ ꯆꯥꯡ: ৮৩ KB, 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 |
| ꯆꯩꯆꯠ |
꯲꯸ ꯗꯤꯁꯦꯝꯕꯔ ꯲꯰꯰꯷ (original upload date) |
| ꯍꯧꯔꯛꯐꯛ | snapshot of LGPL software CoqIDE ran in Gnome |
| ꯄꯨꯊꯣꯛꯂꯤꯕ ꯃꯤ | Hugo Herbelin |
ꯑꯌꯥꯕꯥ
|
ꯁꯤꯟꯗꯣꯛꯅꯕ ꯑꯌꯥꯕꯗꯨ ꯄꯤꯔꯦ, ꯌꯦꯟꯊꯣꯛꯎ ꯑꯃꯁꯨꯡ/ꯅꯠꯇ꯭ꯔꯒ ꯃꯑꯣꯡ ꯱ꯗ ꯁꯦꯝꯗꯣꯛꯎ ꯃꯁꯤꯒꯤ ꯐꯥꯏꯜ ꯑꯁꯤ ꯖꯤ•ꯑꯦꯟ•ꯌꯨ ꯃꯃꯜ ꯇꯤꯡꯗꯕ ꯗꯣꯀꯨꯃꯦꯟꯇꯦꯁꯟꯒꯤ ꯑꯌꯥꯕ ꯌꯥꯅꯕꯒꯤ ꯃꯈꯥꯗ, ꯚꯔꯖꯟ ꯱.꯲ ꯅꯠꯇ꯭ꯔꯒ ꯇꯨꯡꯗ ꯂꯥꯛꯀꯗꯕ ꯚꯔꯖꯟ Free Software Foundationꯅ ꯐꯣꯡꯗꯣꯛꯂꯕ; ꯂꯣꯏꯅꯅ ꯈꯦꯠꯅꯕ ꯁꯔꯨꯛꯁꯤꯡ ꯌꯥꯎꯗꯅ, ꯂꯥꯏꯔꯤꯛꯀꯤ ꯃꯃꯥꯡꯒꯤ ꯃꯈꯨꯝ ꯌꯥꯎꯗꯕꯤ, ꯑꯃꯗꯤ ꯂꯥꯏꯔꯤꯛꯀꯤ ꯑꯔꯣꯏꯕ ꯆꯦꯈꯨꯝ ꯌꯥꯎꯗꯕꯤ ꯫ ꯁꯤꯟꯗꯣꯛꯄ ꯌꯥꯕꯒꯤ ꯑꯌꯥꯕꯁꯤꯡꯁꯤ GNU Free Documentation Licenseꯒꯤ ꯁ꯭ꯔꯨꯛꯁꯤꯡꯗ ꯌꯥꯎꯔꯦ ꯫http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
  
|
ꯐꯥꯏꯜ ꯑꯁꯤ ꯀ꯭ꯔꯤꯌꯦꯇꯤꯚ ꯀꯣꯃꯣꯟꯁꯀꯤ Attribution-Share Alike 3.0 Unported ꯑꯌꯥꯕꯒꯤ ꯃꯈꯥꯗ ꯌꯥꯎꯕꯅꯤ ꯫ | |
ꯃꯈꯥꯗ ꯎꯠꯀꯗꯕꯅꯤ ꯑꯁꯦꯡꯕ ꯑꯅꯧꯕ ꯱ ꯑꯣꯏꯅ ꯂꯧꯗꯨꯅ ꯫ | ||
| 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 |
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
ꯐꯥꯏꯜꯒꯤ ꯄꯨꯋꯥꯔꯤ
ꯆꯩꯆꯠ/ꯃꯇꯝꯗ ꯅꯝꯃꯨ ꯃꯇꯝ ꯑꯗꯨꯗ ꯐꯥꯏꯜ ꯑꯗꯨ ꯎꯅꯕ
| ꯆꯩꯆꯠ/ꯃꯇꯝ | ꯈꯨꯠꯄꯤꯈꯨꯖꯤꯟ | ꯄꯥꯛ ꯆꯥꯎꯕꯥ | ꯁꯤꯖꯤꯟꯅꯔꯤꯕ | ꯑꯄꯥꯝꯕ ꯐꯣꯡꯗꯣꯛ ꯎ | |
|---|---|---|---|---|---|
| ꯍꯧꯖꯤꯛꯀꯤ | ꯰꯳:꯳꯲, ꯲꯰ ꯖꯥꯅꯨꯋꯥꯔꯤ ꯲꯰꯰꯹ | Error creating thumbnail: File missing | ৮২৩ × ৬১৩ (৮৩ KB) | smartcommons>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] |
ꯐꯥꯏꯜꯒꯤ ꯁꯤꯖꯤꯟꯅꯐꯝ
ꯃꯁꯤꯒꯤ ꯐꯥꯏꯜ ꯁꯤ ꯁꯤꯖꯤꯟꯅꯕ ꯂꯃꯥꯏꯁꯤꯡ ꯂꯩꯇꯦ ꯫
