ladr4-apps - क्लाउड में ऑनलाइन

कार्यक्रम:

नाम

ladr4-apps - अनिर्दिष्ट LADR4 अनुप्रयोग

वर्णन

में कुछ कार्यक्रम ladr4-apps पैकेज में वर्तमान में कोई मैनुअल पेज नहीं है। आप प्राप्त कर सकते हैं
इनमें से कुछ अनुप्रयोगों पर दस्तावेज़ीकरण के माध्यम से कहावत9 मैनुअल, जो पर उपलब्ध है
पैकेज के माध्यम से डेबियन सिस्टम प्रोवर9-डॉक्टर, पर
/usr/share/doc/prover9-doc/manual/index.html. वैकल्पिक रूप से आवेदन को आमंत्रित करना
la -मदद विकल्प दस्तावेज प्रस्तुत कर सकता है। मैन्युअल पेज जोड़ने के लिए पैच का स्वागत है, और
डेबियन पैकेज अनुरक्षक को भेजा जा सकता है, जिसका विवरण नीचे सूचीबद्ध है।

onworks.net सेवाओं का उपयोग करके ladr4-apps का ऑनलाइन उपयोग करें