<html>
<body>
<h1>Specifying Requirements</h1>

<p>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.

<p>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. 

<p>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.

<p>The button named "Remove" is used for deleting selected
entries in the overview. Nothing is deleted if no entries
are selected.

</body>
</html>
