Updating existing installation to version 188.8.131.52
In your working Eclipse (with ACL2s), from the menu on the top,
select Help | Check for Updates .... If there is a
newer version available, a window will pop up with the latest versions
of ACL2s and Eclipse, unselect the Eclipse, but keep the ACL2s/ACL2 Image
checkbox(s) selected and press Yes/Next. Once the update finishes, it
will ask you to restart and delete some old files, say Yes. On
restart, you will be prompted to repeat the initialization step (ACL2s system book recertification).
Fresh Installation (Prepackaged tarball)
184.108.40.206 (Compatible with ACL2 7.1.0)
|Mac OS    (.tar.gz)
|Unpack and go...
See faq to confirm if your OS is 32 or 64 bit.
- If you have installation problems, check the faq.
- The ACL2s/eclipse installation should be separate and disjoint
from any other versions of Eclipse you have installed. Use a fresh
workspace (e.g. /Users/yourname/acl2s-workspace) that is different
from the workspace you use for Java or other projects
- macosx-x86 MacOS 32-bit version needs JRE 1.8 to be manually installed (if it is not already installed)
- All alternative ways of installing ACL2 Sedan can be found here.