In order to install updates on your computer, you will need version 2.0 of Windows Installer. If you have an older version of Windows Installer, the Update.exe package will first update this program before installing the Specware 4.0.1 update.
The following bug fixes and improvements are included in this update:
M-x run-specware4will now restart the Specware image. Several new commands are now accessible from the menubar, including an "About Specware" command which gives information about the current Specware version and links to release notes and general Specware information. The Specware interaction buffer is now called