We invite users to offer entries for this page. If you are a member of the
ACL2 mailing list, then we would appreciate you broadcasting your entry to
acl2@lists.cc.utexas.edu.
You may also send a suggested FAQ entry to Kaufmann and
Moore at kaufmann@cs.utexas.edu and
moore@cs.utexas.edu.
You may join the mailing list by sending a message to listproc@lists.cc.utexas.edu.
The body of the message should contain the line:
subscribe
acl2 name
where name is your name (not your
email address).
We would also be delighted to receive entries that contain both questions and your suggested answers. We feel free to edit the entries appropriately but will give credit appropriately too.