Pull-down Menus

The functionality provided by the tool-bar buttons can also be found in pull-down menus Session, Property, Abstraction, and Help.

• The Global pull-down menu includes General Options option and the Exit option.
• The Session pull-down menu includes the session file operations operations New, Open, Save as, and Save, as well as the Manager option which invokes the Session Manager.
• The Property pull-down menu includes the Pattern Manager option, the Predicate Browser option, the Assertion Browser option, and the Property Manager option.
• The Abstraction pull-down menu includes the Abstraction Manager option.
• The Help pull-down menu includes the About option.