@1
'Next' is a highly sophisticated command which tries
to anticipate and execute your next cursor movement
or your next document modifying action ('Hide' optional
placeholder, 'Extend' obligate placeholder, ...).

During syntax-directed input of new document parts you
should always try 'Next', if 'Enter', 'Extend', 'Append'
or 'Insert' are not the right choice.

--> 'Cursor...', 'Hide', 'Enter', 'Extend', ...
@2
'Enter' activates an emacs-like text editor for entering the
text of any syntactic unit (right-mouse-button-selection of
a placeholder also activates this command).

Leaving the emacs mode by pressing "SHIFT-RET" activates
a multiple-entry parser. This parser checks the entered text
for its contextfree correctness. Any violation of the
current document's contextfree syntax within the text will
be displayed and prevents you from leaving the emacs mode
with "SHIFT-RET". Detecting no violations the parser
incrementally replaces the current increment (in this case
a placeholder) by a substructure which corresponds to the
entered text.

Use "SHIFT-ESC" to leave the emacs mode without causing any
modifications of the current document. Press the "Help" key
within the emacs mode for any further information about key
bindings etc.

--> 'Modify'
@3
'Modify' activates an emacs-like text editor for modifying
the text of any syntactic unit (right-mouse-button-selection
of an increment activates this command, too).

Leaving the emacs mode by pressing "SHIFT-RET" activates
a multiple-entry parser. This parser checks the entered
text for its contextfree correctness. Any violation of the
current document's contextfree syntax within the text will
be displayed and prevents you from leaving the emacs mode
with "SHIFT-RET". Detecting no violations the parser
incrementally replaces the current increment by a new
increment which corresponds to the entered text.

Use "SHIFT-ESC" to leave the emacs mode without causing
any modifications of the current document. Press the "Help"
key within the emacs mode for any further information about
key bindings etc.

--> 'Enter'
@4
'Delete' completely eliminates the current increment
and all its equivalent (physical) representations.
Never use this command before being sure that you
will  n e v e r  need the current increment.
@5
'Extend' creates the first son of the current unexpanded
list increment (right-mouse-button-selection of a list
increment also activates this command).

--> 'Append', 'Insert'
@6
'Insert' creates a new increment within a list before
the current increment.

--> 'Extend', 'Append'
@7
'Append' creates a new increment within a list behind
the current increment.

--> 'Extend', 'Insert'
@8
'Cut' removes the current increment while keeping a
copy (including all layout information) in the editor's
Cut&Paste buffer. Use 'Paste' to reinsert the increment
into any document (attempts to paste an increment of
a wrong nonterminal class will be rejected).

Be aware of the fact that all editors use the same
Cut&Paste buffer and that 'Cut' (and also 'Copy')
overwrites the previous content of the buffer.

--> 'Copy', 'Paste'
@9
'Copy' creates a copy of the current increment in
the editor's Cut&Paste buffer. Use 'Paste' to insert
this copy into any document.

--> 'Cut', 'Paste', 'PasteInsert', 'PasteAppend'
@10
'Paste' is the inverse command to 'Cut'. It may be
used to reinsert the Cut&Paste buffer's content into
any document, provided that the stored content is a
syntactically correct representation with respect to
the current placeholder's non-terminal class.

'Paste' does not delete the content of the Cut&Paste
buffer but replaces the currently selected increment
by a copy of the buffer's content.

--> 'Cut', 'Copy', 'PasteInsert', 'PasteAppend'
@11
'InsertPaste' has the same effect as 'Insert'
followed by 'Paste'.

--> 'Insert', 'Paste', 'AppendPaste'
@12
'AppendPaste' has the same effect as 'Append'
followed by 'Paste'.

--> 'Append', 'Paste', 'InsertPaste'
@13
'CopyPaste' creates a copy of the current increment
in the editor's Cut&Paste buffer and inserts this
copy into the document according to the currently
selected increment, i.e. if the current increment is
- an unexpanded placeholder, then it will be expanded;
- a list element, then a new element will be appended;
- an expanded placeholder, then it will be replaced.

--> 'Copy', 'Paste'
@50
This is one of the alternatives for an expansion
of the current placeholder with respect to the
document's contextfree syntax.

Further details concerning the syntax and
semantics of PROGRES may be found in the ps-file

  $PROGRESROOT/man/ProgresSyntax.ps

or the framemaker hypertext file

  $PROGRESROOT/man/ProgresSyntax.fm
