ນີ້ແມ່ນຄໍາສັ່ງ olfilter ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ 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, ເຊິ່ງມີລາຍລະອຽດຂ້າງລຸ່ມນີ້.
ໃຊ້ olfilter ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net
