Insert the installation CD into your CD-ROM drive; the Specware 4.1 setup.exe installer wizard will be automatically launched.
After accepting the license agreement, the installer will try to find the path to the XEmacs xemacs.exe startup file under the Program Files directory. If the path is found, the installer continues. Otherwise, you will have the option to either install XEmacs from the distribution CD (click Yes) or to manually type in the full path to xemacs.exe, if it is installed elsewhere on your machine (click No). Clicking Yes will launch the XEmacs installer wizard. Select the "Install from Local Directory" option for quickest installation, specify [CD-ROM drive]:\XEmacs\packages\ as the directory from which to install the packages, and click Next through the remaining steps in the wizard to accept the default configuration. After XEmacs has been installed, you will return to the Specware installer wizard.
Select the directory where you would like Specware to be installed (the default is C:\Program Files\Specware4.1), and click Next to complete the installation. A shortcut to Specware will be placed on your Desktop as well as in the Program Files folder in the Start menu. Documentation, libraries and example code will be placed in the installation directory you selected.