Each Specware Shell command consists of a keyword, the command name, followed by zero or more arguments. Several Specware Shell commands have "optional arguments": they allow a variable number of arguments; e.g., zero or one. For many such commands, the zero-argument version means: use the last argument of the same kind last used for a Specware Shell command. In other cases, it means: use a default value for the omitted argument. Which commands use which convention is detailed below. Optional arguments are given between square brackets [ and ].
Unit identifiers occurring in a unit term used as a command argument are resolved as described in the Section called Resolution of Unit Identifiers, where relative unit identifiers are resolved as they would be if the unit term was a single-unit file in the current directory.
A command entered by the user should be typed all on one line. The Return/Enter at the end of the line signals to the Specware Shell that the command must be executed. If the Specware Shell is running in an XEmacs buffer, the TAB key can be used for filename completion.