Download Specware 4.2 User Manual

Chapter 9. Emacs Usage in Specware
There are a number of emacs commands for Specware usage. We also list some useful
general-purpose commands. There is a Specware mode for editing Specware files.
9.1. Specware Mode Commands
These are the commands available when editing .sw files. Some of them are available
in the Specware menu in the menubar.
Key
Name
tab
indent-line
linefeed
newline-and-indent
Description
Indents line based on context.
Same as return followed by tab.
M-tab
back-to-outer-indent
Indents line for outer expression.
M-C-q
indent-sexp
M-C-\
M-*
M-.
M-,
M-|
C-c ;
Indents parenthesized expression
following point.
indent-region
Indents region.
switch-to-lisp
Switch to *Specware Shell* buffer.
meta-point
Prompts for op or type name (with
default based on symbol at point), and
goes to its definition. Searches only the
units that have been loaded. First searches
for definitions visible from the current
unit.
continue-meta-point
If previous meta-point command
returned more than one definition, go to
the next definition. Can be repeated.
electric-pipe
Adds the skeleton of a new case to a case
statement, properly indented.
comment-region
Comment out the region. With a negative
argument uncomments the region.
53