The Command Language

 When a `` P>''  prompt appears in the command/status window, the command processor is waiting for a command. COMMAND } Commands may be abbreviated to their shortest unique prefixes; for example, check can be abbreviated to ch, and create can be abbreviated to cr. Typing errors are corrected with the DELETE DELETE } key (to delete a character) and the ERASE ERASE } key ( ) to delete the whole line. The commands are divided into four groups: a group consisting of commands that control the library window, a group consisting of commands that manipulate objects, a group consisting of commands that allow work to be saved between sections, and a miscellaneous group.

The following names are used in the syntactic descriptions below.

object

is the name of an object in the library or one of the reserved names first or last

objects

is object or object -object. This provides a convenient way to refer to a range of entries.

place

is top, bot, before object or after object. ( Top refers to the slot immediately before the first entry, and bottom refers to the slot immediately after the last entry.)

kind

is thm, def, eval or ml.

filename

is any legal Unix or Lisp Machine file name, as appropriate.

Optional arguments and keywords are indicated by curly braces.

• Library Display
• Manipulating Objects
• Storing Results
• General Commands