Specware 4.0.1

Download Specware-4-0-1_Update.exe and run it to update to Specware 4.0.1.

Release Notes

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:

• Bug Fix for colimits: Fixed the handling of cases where the same name occurs in different component specs.
• Improved Emacs commands: The Emacs command M-x run-specware4 will 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 *specware* instead of *common-lisp*.
• Patching Capabilities: In order to support future patch releases, changes have been made to load patch-4-*.fasl files upon start up of the Specware image.