The Windows Installer for HOL

System requirements:

Windows NT, Windows 2000 or Windows XP. In addition to the space required to store the installer executable (25MB), you will need approximately 180 MB of disk-space.

Using the installer:

• You must have MoscowML 2.01 installed before you running the installer. In particular, this means that the environment variables PATH and MOSMLLIB must be correctly set. Further, these variables must be Windows environment variables (set through the Control Panel). It is not enough to have variables set just for Cygwin shells.

  The self-extracting installer for Moscow ML will normally set environment variables correctly as part of its installation process.

• When Moscow ML is installed, you can install HOL by running the installer executable. It will prompt you for the directory to install in.
• At the very end of the process, a DOS-like window will appear, and the system will attempt to configure itself. This process also involves the creation of many help files, and can take a little while. If this window disappears almost instantly or with an error message, you probably haven't installed Moscow ML correctly. (See here for more details.)

Acknowledgements:

The self-installing executable was created with the freely available, and highly recommended, InnoSetup tool.