An overview of the system requirements (called queries below and in the GUI) is shown in the sub window named Overview of the verifier. The toggle button Comments/Queries is used to control if the queries or the comments are to be shown in the overview.
Queries are selected and de-selected using the mouse alone, or in combination with the Shift or the Control key of the keyboard (use the Shift key to (de-)select a range of entries and the Control key to (de-)select single entries). The first selected requirement and its comment is always shown in the two editor windows named Query and Comment. The content of these two windows can be typed in and modified directly in the windows.
New entrifes are added using the button named Insert. A new entry is inserted before the first selected entry, or appended after the last entry if no entry is selected.
The button named Remove is used for deleting selected entries in the overview. Nothing is deleted if no entries are selected.