Harsh Raju Chamarthi has built Windows images, both saved as gzipped
tar files (so, extract with e.g. tar xfz). NOTE that these are OS-dependent: thus, a 32-bit
image won't run on a 64-bit OS.
A ``Windows Installer'' program can install a complete ACL2 environment on Windows. If you care to volunteer to build it, you can can volunteer; send email to Matt Kaufmann, who will be happy to send instructions.
However, you can probably do fine if you obtain a Windows installer for a previous ACL2 release and then follow installation instructions for building the latest version in the resulting environment (which mimics some of Linux and provides Emacs).
You may also obtain a Windows version of ACL2 by downloading a corresponding version of the ACL2 Sedan. Also see the ACL2 documentation topic on the ACL2 Sedan.