هذا هو الأمر المصغر الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة على الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
تطبيقات ladr4 - تطبيقات LADR4 غير الموثقة
الوصف
بعض البرامج في تطبيقات ladr4 الحزمة ليس لديها صفحات دليل حاليا. يمكنك الحصول عليها
توثيق بعض هذه التطبيقات عبر الأمثال 9 دليل ، وهو متاح في
أنظمة دبيان عبر الحزمة Prover9-doc، في
/usr/share/doc/prover9-doc/manual/index.html. بدلاً من ذلك ، استدعاء التطبيق باستخدام
ال -مساعدة الخيار قد تنتج الوثائق. نرحب بالتصحيحات لإضافة صفحات يدوية ، و
يمكن إرسالها إلى مشرف صيانة حزم دبيان ، والتي ترد تفاصيلها أدناه.
استخدم miniscope عبر الإنترنت باستخدام خدمات onworks.net