(c) 1995-2021 UPPAAL
The menu bar is located in the upper part of the main window or at the top of the screen. It contains the following menu items: