Unit Definitions Are Managed Outside of Specware

The .sw files are created, deleted, moved, and renamed by directly interacting with the file system of the underlying operating system.

The content of the .sw files can be edited with any desired text editor. A possibility is to use the XEmacs in which the Specware Shell is running when Specware is fired up using Specware4 XEmacs. The XEmacs-Specware combo can be thought of as a limited Integrated Development Environment (IDE).

Note that unit definitions can be managed without running Specware at all. As described in the next chapter, Specware is used to process unit definitions.