acl2/acl2 Issues
ACL2 does not build on SBCL 2.4.2
Closed 10x86isa instruction issues
Updated 3Quicklisp books failure for CMUCL
Updated 2zippy reload gets error
Closedpreventing include-raw reloading
Updated 5Slime support
Closed 5XDOC ignores unknown tags
Closed 4LRAT proof check: probably a bug
Closed 6DRAT proof checking
Closed 10GCL 2.6.12
Closed 2books/data-structures
Updatedacl2::deflist bugs
Updated