| Support web address | The ACL2 home page
(much of it duplicated here). |
| Users Group |
- To join the unmoderated ACL2 mailing list send
to acl2-request@cli.com a
message containing as its body (NOT its Subject)
the single word subscribe.
- To get general information about the mailing
list, send the word info (this will not subscribe you to the mailing list).
- To send email to all who receive ACL2 mail, send the message to
acl2@cli.com.
|
| Bug Reports | Mail to acl2-bugs@cli.com. |
| Support hotline | None |
| Support POC | Unless you believe you have found
a bug, the best source of support is email to
the acl2 users group |