An overview of the system requirements (called queries below) 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 on 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 entries 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.