These are the commands available in the *Specware Shell* buffer.
| Key | Name | Description |
|---|---|---|
| M-. | 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. |
| M-p | previous-input | Gets previous input. |
| M-r | previous-matching-input | Gets previous input matching regular expression (prompted for). Typically you can get a previous input by typing in a small substring. Repeating the command without changing the expression will find earlier matches. |