ACL2 on Windows
Windows users will probably find it useful to
fetch the ACL2
information about ACL2s in the installation
instructions, which explain how to obtain and use the pre-built
ACL2 binary for Windows, Linux, and Mac even without using ACL2s.
You are welcome to obtain
a Windows installer for a previous ACL2 release, which mimics some
of Linux and provides Emacs. We have successfully installed updated
ACL2 binaries in such an environment.