Specware Interaction Commands

These are the commands available in the *common-lisp* buffer.

Key Name Description
M-* sw:switch-to-lisp When already in the *common-lisp* buffer, goes to the previous source file buffer.
M-. sw:meta-point Prompts for op or sort name (with default based on symbol at point), and goes to its definition. Searches only the units that have been loaded.
M-p fi:pop-input Gets previous input.
M-r fi:re-search-backward-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.