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 XEmacs, which is started when Specware is started and is used to interact with Specware. The XEmacs-Specware combo can be thought of as a (rather 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. Future versions of Specware will provide true IDE functionality: unit definitions will be also managed within Specware, and the mapping to the file system could be even made transparent to the user.