This program will install a complete ACL2 environment on Windows, and will probably appear on this page before the end of April 2007.