@1
'SetMark' attaches an invisible label to the current
increment. Use 'Swap' to return to the most recently
marked increment.

--> 'Swap', 'FirstAppl', 'GotoDecl'
@2
'Swap' exchanges the role of the current increment and the
most recently marked increment: The old marked increment
becomes the new current increment and vice versa.

--> 'SetMark', 'FirstAppl', 'GoToDecl'
@3
'FirstAppl' marks the current declaration of an identifier
and selects the first applied occurrence of this identifier
(with respect to the current representation) as the new
current increment. 

Use 'NextAppl' to proceed to the next applied occurrence
of the currently marked declaration and use 'Swap' to
toggle between an applied occurrence and its declaration.

--> 'GotoDecl', 'NextAppl', 'PrevAppl', 'SetMark', 'Swap'
@4
'NextAppl' proceeds to the next applied occurrence of the
currently marked declaration (the "next" one with respect
to the position of the current increment). Use 'Swap' to
toggle between an applied occurrence and its declaration.

--> 'GotoDecl', 'FirstAppl', 'PrevAppl', 'SetMark', 'Swap'
@5
'PrevAppl' proceeds to the previous applied occurrence of the
currently marked declaration (the "previous" one with respect
to the position of the current increment). Use 'Swap' to
toggle between an applied occurrence and its declaration.

--> 'GotoDecl', 'FirstAppl', 'NextAppl', 'SetMark', 'Swap'
@6
'GotoDecl' marks the current applied occurrence of an
identifier and selects its declaration to be the new
current increment. Use 'Swap' to return to this applied
occurrence.

--> 'FirstAppl', 'NextAppl', 'PrevAppl', 'DeclByName',
    'SetMark', 'Swap'
@7
'DeclByName' selects that declaration of an
identifier to be the new current increment
which is visible at the currently selected
point of the document.

--> 'GotoDecl, 'FirstAppl', 'NextAppl', 'PrevAppl'
@8
'CursorUp' is a presentation oriented command to 
change the current increment.  The new current 
increment is that predecessor (of an ancestor) of 
the current increment, which is directly above it. 

--> 'CursorDown', 'CursorLeft', ...
@9
'CursorDown' is a presentation oriented command 
to change the current increment.  The new current 
increment is that successor (of an ancestor) of 
the current increment, which is directly below it.

--> 'CursorUp', 'CursorLeft', ...
@10
'CursorLeft' is a presentation oriented command 
to change the current increment.  The new current 
increment is that leaf increment that is directly 
before the current increment (across lines).

--> 'CursorRight', 'CursorLeft', ...
@11
'CursorRight' is a presentation oriented command 
to change the current increment.  The new current 
increment is that leaf increment that is directly 
behind the current increment (across lines).

--> 'CursorLeft', 'CursorUp', ...
@12
'CursorOut' is a presentation oriented command 
to change the current increment.  The new current 
increment is the enclosing increment of the 
current increment.

--> 'CursorIn', 'CursorLeft', ...
@13
'CursorIn' is a presentation oriented command 
to change the current increment.  The new current 
increment is the first increment which is directly 
enclosed by the current increment.

--> 'CursorOut', 'CursorLeft', ...
'SetMark' attaches an invisible label to the current
increment. Use 'Swap' to return to the most recently
marked increment.

--> 'Swap', 'FirstAppl', 'GotoDecl'
@2
'Swap' exchanges the role of the current increment and the
most recently marked increment: The old marked increment
becomes the new current increment and vice versa.

--> 'SetMark', 'FirstAppl', 'GoToDecl'
@3
'FirstAppl' marks the current declaration of an identifier
and selects the first applied occurrence of this identifier
(with respect to the current representation) as the new
current increment. 

Use 'NextAppl' to proceed to the next applied occurrence
of the currently marked declaration and use 'Swap' to
toggle between an applied occurrence and its declaration.

--> 'GotoDecl', 'NextAppl', 'PrevAppl', 'SetMark', 'Swap'
@4
'NextAppl' proceeds to the next applied occurrence of the
currently marked declaration (the "next" one with respect
to the position of the current increment). Use 'Swap' to
toggle between an applied occurrence and its declaration.

--> 'GotoDecl', 'FirstAppl', 'PrevAppl', 'SetMark', 'Swap'
@5
'PrevAppl' proceeds to the previous applied occurrence of the
currently marked declaration (the "previous" one with respect
to the position of the current increment). Use 'Swap' to
toggle between an applied occurrence and its declaration.

--> 'GotoDecl', 'FirstAppl', 'NextAppl', 'SetMark', 'Swap'
@6
'GotoDecl' marks the current applied occurrence of an
identifier and selects its declaration to be the new
current increment. Use 'Swap' to return to this applied
occurrence.

--> 'FirstAppl', 'NextAppl', 'PrevAppl', 'DeclByName',
    'SetMark', 'Swap'
@7
'DeclByName' selects that declaration of an
identifier to be the new current increment
which is visible at the currently selected
point of the document.

--> 'GotoDecl, 'FirstAppl', 'NextAppl', 'PrevAppl'
@8
'CursorUp' is a presentation oriented command to 
change the current increment.  The new current 
increment is that predecessor (of an ancestor) of 
the current increment, which is directly above it. 

--> 'CursorDown', 'CursorLeft', ...
@9
'CursorDown' is a presentation oriented command 
to change the current increment.  The new current 
increment is that successor (of an ancestor) of 
the current increment, which is directly below it.

--> 'CursorUp', 'CursorLeft', ...
@10
'CursorLeft' is a presentation oriented command 
to change the current increment.  The new current 
increment is that leaf increment that is directly 
before the current increment (across lines).

--> 'CursorRight', 'CursorLeft', ...
@11
'CursorRight' is a presentation oriented command 
to change the current increment.  The new current 
increment is that leaf increment that is directly 
behind the current increment (across lines).

--> 'CursorLeft', 'CursorUp', ...
@12
'CursorOut' is a presentation oriented command 
to change the current increment.  The new current 
increment is the enclosing increment of the 
current increment.

--> 'CursorIn', 'CursorLeft', ...
@13
'CursorIn' is a presentation oriented command 
to change the current increment.  The new current 
increment is the first increment which is directly 
enclosed by the current increment.

--> 'CursorOut', 'CursorLeft', ...
@14
'ShowASTGraph' invokes the graph browser EDGE from the
university of Karlsruhe as a concurrently running
process which displays the internal logical abstract
syntax tree of this document. The initial display
of the graph browser contains the root node of the
current increment's subtree (subgraph) and its 
direct context.

--> 'ShowFullGraph', 'ShowScheme'

Select nodes with unexpanded context (displayed with
bold borders) with the right mouse button to display
their complete context. The "q" key may be used to
close the graph view.  For further information about
this graph browser, which is an instance of the tool
EDGE developed at the university of Karlsruhe, see e.g.:

Newbery Paulisch F.: The Design of an Extendible Graph Editor
                     Dissertation, University of Karlsruhe,
                     Germany (1991)

ATTENTION: About 35 MByte of virtual memory are necessary
to create one graph view. Therefore, close old views to
avoid virtual memory overflow. 
@15
'Set Search Sensitive' toggles the current search mode 
from case insensitive to case sensitive mode. In case 
sensitive mode, letters are matched exactly with regard 
to their case.

--> 'Set Search Insensitive', 'Search Forward', ...
@16
'Set Search Insensitive' toggles the current search mode 
from case sensitive to case insensitive mode. In case 
insensitive mode, lowercase letters are treaded like 
uppercase letters.

--> 'Set Search Sensitive', 'Search Forward', ...
@17
'Search Forward' prompts for a search string "(<Pattern>)" 
and searches from the beginning of the currently selected
increment in forward direction for the first occurrence of 
the search string within the document, according to the 
currently active search mode ( case sensitive / insensitive).
If a match is found, the last increment contributing to the 
pattern is highlighted. The search string will be preserved 
for further searches.

--> 'Search Backward', 'Search Next', 
    'Set Search Sensitive', ...
@18
'Search Next'  searches from the beginning of the currently
selected increment in forward direction for the first occurrence 
of a previously entered search string within the document, 
according to the currently active search mode ( case sensitive / 
insensitive). If a match is found, the last increment contributing
to the pattern is highlighted. If the increment found has already
been the current increment, it will be skipped.

--> 'Search Forward', 'Search Backward', 
    'Set Search Sensitive', ...
@19
'Search Backward' prompts for a search string "(<Pattern>)" 
and searches from the end of the currently selected increment 
in backward direction for the first occurrence of the search 
string within the document, according to the currently active 
search mode ( case sensitive / insensitive). If a match is 
found, the first increment contributing to the pattern is
highlighted. The search string will be preserved for further
searches.

--> 'Search Forward', 'Search Previous', 
    'Set Search Sensitive', ...
@20
'Search Previous' searches from the end of the currently 
selected increment in backward direction for the first
occurrence of a previously entered search string within 
the document, according to the currently active search mode 
( case sensitive / insensitive). If a match is found, the 
first increment contributing to the pattern is highlighted.
If the increment found has already been the current increment,
it will be skipped.

--> 'Search Backward', 'Search Forward, 
    'Set Search Sensitive', ...
@21
'ShowScheme' opens a graphical view of a cutout of the
current graph scheme. Until now, this view is static,
i.e. scheme changes are not reflected. Use 'ShowScheme'
again, to get a new view of the changed graph.

--> 'SchowASTGraph', 'ShowFullGraph'

You may expand the context of single nodes by selecting
them with the right mouse button and you receive a view
of all nodes and edges in the host graph by activating the
command 'ExpandAll' (press key "e" or select appropriate
item in menue 'Graph'). The "q" key may be used to close
the scheme view.  For further information about this graph
browser, which is an instance of the tool EDGE developed
at the university of Karlsruhe see e.g.:

Newbery Paulisch F.: The Design of an Extendibl Graph Editor
                     Dissertation, University of Karlsruhe,
                     LNCS, Springer Verlag (1992)

ATTENTION: About 35 MByte of virtual memory are necessary
to create one graph view. Therefore, close old views to
avoid virtual memory overflow. 
@22
'ShowFullGraph' invokes the graph browser EDGE from the
university of Karlsruhe as a concurrently running
process which displays the full internal logical 
structure of this document. The initial display
of the graph browser contains the root node of the
current increment's subtree (subgraph) and its 
direct context.

--> 'ShowASTGraph', 'ShowScheme'

Select nodes with unexpanded context (displayed with
bold borders) with the right mouse button to display
their complete context. The "q" key may be used to
close the graph view.  For further information about
this graph browser, which is an instance of the tool
EDGE developed at the university of Karlsruhe, see e.g.:

Newbery Paulisch F.: The Design of an Extendible Graph Editor
                     Dissertation, University of Karlsruhe,
                     Germany (1991)

ATTENTION: About 35 MByte of virtual memory are necessary
to create one graph view. Therefore, close old views to
avoid virtual memory overflow. 
