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 the two directories (eclipse
and acl2s-for-eclipse) in the
directory
/opt/(which you probably have to create).