@1
'LastVertex' creates a new vertex increment within
the current graph of the same kind as the previously
created vertex (a simple node, a set node, ...).
The selection of a position within a graph with the
right-mouse-button activates 'LastVertex' with this
position as a parameter. A selection with the right-
mouse-button activates 'LastVertex' without a
position parameter (the editor polls for a position
and displays a cross-hair cursor). The selected
point becomes the new increment's position.

Note: for changing the size of a vertex you have to
activate the editor's layout mode. Within this mode,
markers indicate the control points of a vertex.
Marker movements result in size changes.

--> 'LayoutMode', 'Move(Point)'
@2
'LastLink' creates either a new binary link between two
vertices of the same kind as the previously created
binary link (edge decl, path condition, ...) or a new
unary link, i.e. an edge without a source node (in this
case a restrict condition) if the previously created
link was a unary link, too.  The selection of a vertex
increment with the right-mouse-button invokes this
command and a cross-hair cursor appears. Within this
state, you first have to select an arbitrary number of
control points for the new link (zero points are
permitted) and then the target vertex for the new link
(in the case of a binary link).

You may also activate this command by pressing the
right-mouse-button over the source increment and
releasing the button over the first control point or
the target increment.

Note: for the insertion or deletion of a link's
control points you have to activate the editor's
layout mode. In this mode, markers for control
points are displayed and may be selected.

--> 'LayoutMode', 'Move(Point)', 'Delete(Point)',
    'Insert(Point)'
@3
'OblNodeDecl' creates a new search a pattern for a 
single node within the current graph pattern. After
activating this command, the mouse cursor changes
its form to a cross-hair and the editor waits for
the selection of the new node's position.

Note: for changing the size of a node you have to
activate the editor's layout mode. Within this mode,
markers indicate the control points of a vertex.
Marker movements result in size changes.

--> 'LayoutMode', 'Move(Point)', 'LastVertex'
@4
'OptSetDecl' creates a new search a pattern for a
non-empty set of nodes within the current graph
pattern. After activating this command, the mouse
cursor changes its form to a cross-hair and the
editor waits for the selection of the new node
set's position.

Note: for changing the size of a node set you have
to activate the editor's layout mode. Within this
mode, markers indicate the control points of a
node.  Marker movements result in size changes.

--> 'LayoutMode', 'Move(Point)', 'LastVertex'
@5
'NewNodeDecl' creates a new node declaration in the
current graph rewrite rule's right-hand side. After
activating this command, the mouse cursor changes
its form to a cross-hair and the editor waits for
the selection of the new node's position.

Note: for changing the size of a node you have
to activate the editor's layout mode. Within this
mode, markers indicate the control points of a
node.  Marker movements result in size changes.

--> 'LayoutMode', 'Move(Point)', 'LastVertex'
@6
'OldOblNodeDecl' creates a node declaration in the
current graph rewrite rule's right-hand side for
the identical replacement of a single node on the
rule's left-hand side. After activating this command,
the mouse cursor changes its form to a cross-hair
and the editor waits for the selection of the new
position.

Note: for changing the size of a node you have
to activate the editor's layout mode. Within this
mode, markers indicate the control points of a
node.  Marker movements result in size changes.

--> 'LayoutMode', 'Move(Point)', 'LastVertex'
@7
'OldOptSetDecl' creates a node set declaration in the
current graph rewrite rule's right-hand side for
the identical replacement of a set of nodes on the
rule's left-hand side. After activating this command,
the mouse cursor changes its form to a cross-hair
and the editor waits for the selection of the new
position.

Note: for changing the size of a node set you have
to activate the editor's layout mode. Within this
mode, markers indicate the control points of a
node set.  Marker movements result in size changes.
@8
'RestrictCond' creates an application condition for
the currently selected node (set of nodes). This
condition has the form of an arrow "=>" with no 
source node and one target node. After the activa-
tion of this command, the editor waits for the
selection of the arrow's starting point.

Note: for moving the arrow's starting point you
have to activate the editor's layout mode. In this
mode, markers for control points are displayed and
may be selected.

--> 'LayoutMode', 'Move(Point)', 'Delete(Point)',
    'Insert(Point)', 'LastLink'
@9
'EdgeDecl' creates a new edge (declaration) between
two nodes (or sets of nodes) in the current graph
pattern. After the invokation of this command, a
a cross-hair cursor appears. Within this state, you
first have to select an arbitrary number of control
points for the new edge (zero points are permitted)
and then the target node for the new edge.

Note: for the insertion or deletion of an edge's
control points you have to activate the editor's
layout mode. In this mode, markers for control
points are displayed and may be selected.

--> 'LayoutMode', 'Move(Point)', 'Delete(Point)',
    'Insert(Point)', 'LastLink'
@10
'PathCond' creates a new application condition in
the form of a path expression between a source node
and a target node (or a set of target nodes) in the
current graph pattern. After the invokation of this
command, a a cross-hair cursor appears. Within this
state, you first have to select an arbitrary number
of control points for the new edge (zero points are
permitted) and then the target node for the new edge.

Note: for the insertion or deletion of an edge's
control points you have to activate the editor's
layout mode. In this mode, markers for control
points are displayed and may be selected.

--> 'LayoutMode', 'Move(Point)', 'Delete(Point)',
    'Insert(Point)', 'LastLink'
@11
'NotPathCond' creates a new application condition
in the form of a negative path expression between a
source node and a target node (or a set of target
nodes) in the current graph pattern. After the
invokation of this command, a a cross-hair cursor
appears. Within this state, you first have to select
an arbitrary number of control points for the new
edge (zero points are permitted) and then the target
node for the new edge.

Note: for the insertion or deletion of an edge's
control points you have to activate the editor's
layout mode. In this mode, markers for control
points are displayed and may be selected.

--> 'LayoutMode', 'Move(Point)', 'Delete(Point)',
    'Insert(Point)', 'LastLink'
@12
'NewEdgeDecl' creates a new edge (declaration)
between two nodes (or sets of nodes) in a graph
rewrite rule's left-hand side. After the invo-
kation of this command, a a cross-hair cursor
appears. Within this state, you first have to
select an arbitrary number of control points
for the new edge (zero points are permitted)
and then the target node for the new edge.

Note: for the insertion or deletion of an edge's
control points you have to activate the editor's
layout mode. In this mode, markers for control
points are displayed and may be selected.

--> 'LayoutMode', 'Move(Point)', 'Delete(Point)',
    'Insert(Point)', 'LastLink'
@13
'ElimErrors' eliminates some errors and warnings
within an PROGRES document which belong to the
following categories:

(1) violations of a class hierarchies lattice
    property by adding additional classes,
(2) redundant class names in is_a-lists by
    simply deleting them, and
(3) inheritance conflicts for attribute rules
    by adding templates for new attribute
    rule redefinitions at appropriate places.

--> 'ShowErrors', 'ShowWarnings', 'ElimThisError'
@14
'ElimThisError' tries to eliminate the currently
selected error or warning in a PROGRES document.
For further information see

--> 'ElimAllErrors', 'ShowErrors', 'ShowWarnings'
@15
This 'CopyLeft' command copies the left side of a
production rule to its right side. The right side
must initially be empty. The identifiers of (sets of)
nodes are modified according to the conventions for
the right side of a production rule.
@16
'ShowType' displays all available type information
about the current increment (expression), i.e. the
name of the expression's type, the kind of type
(type of a simple value or type of a type), and
whether the expression is assumed to deliver un-
defined or multiple results under certain circum-
stances.
@17
'OldOptNodeDecl' creates a node declaration in the
current graph rewrite rule's right-hand side for
the identical replacement of a optional single node
on the rule's left-hand side (i.e. an actual instan-
tiation of this node pattern may or may not exist).
After activating this command, the mouse cursor
changes its form to a cross-hair and the editor
waits for the selection of the new position.

Note: for changing the size of a node you have
to activate the editor's layout mode. Within this
mode, markers indicate the control points of a
node.  Marker movements result in size changes.

--> 'LayoutMode', 'Move(Point)', 'LastVertex'
@18
'OldOblSetDecl' creates a node set declaration in the
current graph rewrite rule's right-hand side for
the identical replacement of a non-empty set of nodes
on the rule's left-hand side. After activating this
command, the mouse cursor changes its form to a cross-
hair and the editor waits for the selection of the new
position.

Note: for changing the size of a node you have to
activate the editor's layout mode. Within this mode,
markers indicate the control points of a vertex.
Marker movements result in size changes.

--> 'LayoutMode', 'Move(Point)', 'LastVertex'
@19
'OptNodeDecl' creates a new optional search a pattern
for a single node within the current graph pattern
(i.e. an actual instantiation of this node pattern
must not exist, if no node fulfills all required
properties). After activating this command, the
mouse cursor changes its form to a cross-hair and
the editor waits for the selection of the new node's
position.

Note: for changing the size of a node you have to
activate the editor's layout mode. Within this mode,
markers indicate the control points of a vertex.
Marker movements result in size changes.

--> 'LayoutMode', 'Move(Point)', 'LastVertex'
@20
'OptSetDecl' creates a new search a pattern for a
may be empty set of nodes within the current graph
pattern. After activating this command, the mouse
cursor changes its form to a cross-hair and the
editor waits for the selection of the new node set's
position.

Note: for changing the size of a node set you have
to activate the editor's layout mode. Within this
mode, markers indicate the control points of a
node.  Marker movements result in size changes.
@21
'AutoNumbersOn' activates automatic numbering
of nodes when editing graph productions in 
the following way:

`1, `2, ... etc. for the left-hand side of the
production and 1', 2', ... etc. for the 
right-hand side

--> 'AutoNumbersOff'
@22
'AutoNumbersOff' disables the automatic 
numbering of graph nodes when editing
graph productions and returns to ordinary
text input.

--> 'AutoNumbersOn'
@23
'ZoomOut' displays a substitute representation 
of the current object.
@24
'HideDecls' hides each visible section body,
i.e. declaration list and import list, within all sections
of the current subtree.
@25
'HideBodies' hides each visible declaration body
within the current subtree.
@26
'HideAttributes' hides each visible attribute 
declaration list within the current subtree.

--> 'Show', 'ShowAll', 'Hide'
