General Commands

This section contains those commands which do not fit in any specific category.

eval

  Puts the command window into eval mode. The prompt changes from `` P>'' to `` EVAL>''  to indicate the change. Two kinds of inputs can be entered in eval mode: terms and bindings.  Each input must be terminated by a double semicolon, `` ;;''. If a term is entered evaluates  it and prints its value. Bindings have the form ---if a binding is entered evaluates the term, prints its value and binds the value to the identifier. The evaluator's binding environment persists from one eval session to the next. It also includes bindings made when EVAL objects are checked. Eval mode is terminated by .

shell

  Creates an interactive subshell. This command is available only on the Unix  version of . Upon return from the shell the screen is redisplayed with its old contents, and processing is resumed where it left off. The stty  suspend character, , will suspend without creating a subshell.

On Lisp Machines select-L brings up a Lisp Listener window, and select-N returns to Nuprl . A select-N will leave the screen blank; use to redraw it.

exit

  Terminates the current session. Under Unix the user is returned to Lisp. To exit Lisp, use (exit). On a Lisp Machine  the user is returned to the Lisp Listener.

There is one final command, the PRINT PRINT } command ( ); it causes a snapshot  of the current screen image to be appended to the user's snapshot file. On the Unix version of the snapshot file is snap-userid. On Lisp Machines the snapshot file is snapshot.lisp.