Updating existing installation to version 1.1.8.1

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)

1.1.8.0 (Compatible with ACL2 7.1.0)

Linux      (.tar.gz)
64-bit
32-bit
Mac OS    (.tar.gz)
64-bit
32-bit
Windows   (.7z)
64-bit
32-bit
  • Unpack and go...
  • Release Notes

  • See faq to confirm if your OS is 32 or 64 bit.
  • Additional notes: