- UPPAAL Help
- GUI Reference
- Language Reference
- Command Line Options
- Remote Server
- File Formats
- New Features
The tool bar is normally located just below the menu bar but can be moved (using the mouse) to other positions or even to a separate window. The tool bar is devided into three groups. The two leftmost groups provides quick access to some of the most frequently used menu items. The rightmost group contains editing tools.
The first group contains the following buttons: New, Open Project, and Save. These features are described in the File menu section.
The second group contains the following buttons: Zoom to Fit, Zoom In, and Zoom Out. This features are described in the View menu section.
The third group contains tools used in the editor for selecting and moving elements of an automaton, and for adding locations, edges and nails. This features are described in the section on Drawing.