Installing ACL2s on Linux
Installation instructions
- Download ACL2s for Linux
- Follow the instructions on the
ACL2s Web page starting with "Unpack...", except that you
have to install ACL2s in the
directory
/opt/eclispe/(which you probably have to create).