$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.
Copyright (c) 1998-2006 JASSPA
Last Modified: 2002/01/11
Generated On: 2006/10/07