next up previous contents
Next: Property Specification Buttons Up: Overview of the Bandera Previous: Component Buttons

Session Manager

Starting on the lower toolbar, the first button opens the Session Manager window. The window is used for creating, modifying, and deleting of session records within the currently selected session file.



Roby Joehanes
Wed Mar 7 18:30:51 CST 2001