next up previous contents
Next: Handbook Up: Using the Editor Previous: Scripting

Finishing Up

To finish your session with Rigi:

  1. Choose Exit from the File menu.

    An alert appears reminding you that exiting does not save the graph.


  2. Click Exit to exit.

James Uhl
Wed Jul 10 14:13:22 PDT 1996