$fill-eos - Paragraph filling; end of sentence fill characters
$fill-eos-len - Paragraph filling; end of sentence padding length
$fill-eos "string"; Default is ".!?"
$fill-eos-len integer; Default is 1
0 <= integer <= n
$fill-eos defines the end of sentence character set. Sentences ending in these characters are padded with additional end-of-sentence spaces, as defined by $fill-eos-len.
$fill-eos-len sets the number of spaces inserted after a full stop during paragraph filling. The default is 1 space.
(c) Copyright JASSPA 1999
Last Modified: 1999/08/24
Generated On: 1999/12/01