Support

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 ReportsMail to acl2-bugs@cli.com.
Support hotline None
Support POCUnless you believe you have found a bug, the best source of support is email to the acl2 users group

This page is URL http://www.computationallogic.com/software/caeti/infix/support.html