----------  Line Editor  ----------

The line editor allows the editing of a number of lines.  For each line to  be
edited,  the line is displayed.  If the line contains non-printing characters,
these characters are displayed in a more visible manner and a second  line  is
displayed  with  these characters replaced by the character '@'.  The user can
now type in either a command or an editing line.  The commands are:

RETURN   go to the next line;  if this is the last line, quit editing
.^       go to the previous line
.d       display all lines
.j       join (concatenate) this line and the next line
.u       cancel all changes and start editing from the original lines
.x       delete this line; if this is the last line, go to the previous line

An editing line indicates how the current line is to be changed.  It  consists
of regular characters, positioning characters and special characters.  Regular
characters replace the character immediately above them on the displayed line.
Past  the  end  of the display line, characters on the editing line are simply
appended to the display line.  Positioning characters (spaces and  tabs)  move
the  cursor  to the desired positions.  (Note that backspacing over a tab will
ruin the positioning on most systems.) Special characters have  the  following
effects:

#        delete the above character
%        replace the above character with a space
^        insert before the above character any characters following the "^"
$        delete from the above character to the end of the  display  line  and
         replace them with any characters following the "$"

A new line may be included as part of the editing line by  preceding  it  with
the character '\' (i.e., type \RETURN).
