ई फाइल एगो सझियाई के भंडारघर से बा आ अउरी प्रोजेक्ट भी एकर इस्तेमाल कर सकत बाड़ें।
एकर विवरण फाइल विवरण पन्ना नीचे देखावल गइल बा।
सारांश
बिबरण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)
(Original text: 29 Dec 2007)
स्रोत
snapshot of LGPL software CoqIDE ran in Gnome
लेखक
Hugo Herbelin
लाइसेंसिंग
जीएनयू फ्री डाकुमेंटेशन लाइसेंस, वर्जन 1.2 या फिर कौनो भी बाद के प्रकाशित फ्री साफ्टवेयर फाउंडेशन लाइसेंस के शर्त के तहत, एह डाकुमेंट के नकल करे, बितरण करे आ/भा बदलाव करे के परमीशन दिहल गइल बा; एह में इनवैरिएंट खंड सभ नइखे शामिल, मुखपृष्ट के पाठ नइखे शामिल, आ बैक-कभर के पाठ नइखे शामिल। लाइसेंस के एगो प्रति जीएनयू फ्री डाकुमेंटेशन लाइसेंस नाँव के खंड में दिहल गइल बा।http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue
साझा करे खातिर – रचना के नकल करे, बाँटे आ दुसरी जगह भेजे खातिर
रीमिक्स करे खातिर – काम के अपनी हिसाब से बनावे खातिर
नीचे दिहल कारणन की तहत:
एट्रीब्यूशन – लाइसेंस के कड़ी दे के उचित श्रेय (क्रेडिट) दिहल जरूरी बा आ अगर कौनों बदलाव कइल गइल बा तब ओहू के बतावल जाए के चाहीं। आप ई काम कौनों उचित तरीका से क सकत बानी, बाकी ई न झलके के चाहीं की जेकरा लगे लाइसेंस बा ऊ राउर चाहे राउर काम के समर्थन करत बाटे या सही बतावत बा।
शेयर अलाइक (share alike) – अगर आप एह सामग्री के आधार बना के कुछ रिमिक्स करत बानी, रूप बदलाव करत बानी, चाहे कुछ जोड़ के सामग्री के बढ़ावत बानी, आपके आपन योगदान ठीक एही या कंपेटिबल लाइसेंस जइसन कि ओरिजनल बाटे, के तहत होखे के चाहीं।
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]