ນີ້ແມ່ນຄໍາສັ່ງ acl2 ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
acl2 - ເຫດຜົນການຄິດໄລ່
ສະຫຼຸບສັງລວມ
acl2
ລາຍລະອຽດ
ຫນ້າຄູ່ມືນີ້ເອກະສານສັ້ນໆກ່ຽວກັບ acl2 ຄໍາສັ່ງ. ຫນ້າຄູ່ມືນີ້ໄດ້ຖືກຂຽນໄວ້ສໍາລັບ
ການແຈກຢາຍ Debian GNU/Linux ເພາະວ່າໂປຣແກຣມຕົ້ນສະບັບບໍ່ມີໜ້າຄູ່ມື.
ແທນທີ່ຈະ, ມັນມີເອກະສານໃນຮູບແບບ GNU Info ເຊັ່ນດຽວກັນກັບຮູບແບບ html. ພວກນີ້ແມ່ນ
ລວມຢູ່ໃນຊຸດ acl2-doc. ເອກະສານຍັງສາມາດພົບເຫັນຢູ່ໃນໂຄງການ
ເວັບໄຊທ໌, http://www.cs.utexas.edu/users/moore/acl2, ທັງໃນຮູບແບບ html ແລະໃນ postscript.
ໃຊ້ acl2 ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net