next up previous contents index
Next: Library Display Up: System Description Previous: System Description

The Command Language

 When a `` P>''  prompt appears in the command/status window, the command processor is waiting for a command. COMMAND } gif 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.

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

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

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.)

is thm, def, eval or ml.

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

Optional arguments and keywords are indicated by curly braces.

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995