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

Finishing Up

After a session with Nuprl the results can be saved in the file system using the dump command as illustrated below. These files can then be reloaded with the load command. To end a session one uses the command exit .

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