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