next up previous contents index
Next: Up: Statements and Definitions Previous: Statements and Definitions

Overview of the Nuprl Environment

The Nuprl system provides an interactive  medium which is accessed via a screen divided into various windows gif and a keyboard/mouse which allows communication with the system. The windows represent regions of the system with specialized roles in the interactive process; the different kinds of windows are listed in figure gif.

Figure: Windows Used in the Nuprl System

The terminal is used to enter definitions, commands, proof steps and so forth into the appropriate window of the system. Commands that allow movement between windows and modification of the view of the environment consist of control sequences or mouse commands. In this section these features are described in as much detail as is needed for the purposes of this chapter. Chapter 7 contains a comprehensive discussion of system features.

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