next up previous contents index
Next: Starting Up Up: Overview of the Previous: Windows

Commands and Status

Commands    are used to enter objects in the library, to invoke editors, to check definitions, to save a session, to load back a saved session and to exit the system.gif Commands are entered into the command window by typing the text of the command at the prompt P> and ending with a carriage return. The system responds to commands by printing messages in the command window.



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