ACL2 Installers for Windows

Installers have Moved

The installers are now being maintained by Alex Spiridonov.

See the ACL2 web page, under "Obtaining and Installing ACL2."