ນີ້ແມ່ນ idfilter ຄໍາສັ່ງທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນສະຖານີເຮັດວຽກອອນໄລນ໌ຟຣີຫຼາຍອັນຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
ladr4-apps - ແອັບພລິເຄຊັນ LADR4 ທີ່ບໍ່ມີເອກະສານ
ລາຍລະອຽດ
ບາງໂຄງການໃນ ແອັບ ladr4 ຊຸດປະຈຸບັນບໍ່ມີຫນ້າຄູ່ມື. ທ່ານສາມາດໄດ້ຮັບ
ເອກະສານກ່ຽວກັບບາງສ່ວນຂອງຄໍາຮ້ອງສະຫມັກເຫຼົ່ານີ້ໂດຍຜ່ານ prover9 ຄູ່ມື, ທີ່ມີຢູ່ໃນ
ລະບົບ Debian ຜ່ານຊຸດ prover9-doc, ຢູ່
/usr/share/doc/prover9-doc/manual/index.html. ທາງເລືອກໃນການເອີ້ນຄໍາຮ້ອງສະຫມັກທີ່ມີ
ໄດ້ -ຊ່ວຍ ທາງເລືອກອາດຈະຜະລິດເອກະສານ. Patches ເພື່ອເພີ່ມຫນ້າຄູ່ມືແມ່ນຍິນດີຕ້ອນຮັບ, ແລະ
ອາດຈະຖືກສົ່ງໄປຫາຜູ້ຮັກສາຊຸດ Debian, ເຊິ່ງມີລາຍລະອຽດຂ້າງລຸ່ມນີ້.
ໃຊ້ idfilter ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net