On Thu, Mar 30, 2000 at 20:21:56 +0100, Lars Hecking wrote:
> The manual says:
>
> ... You are strongly encouraged not to
> change this value, as it tends to agitate the more fanatical netizens.
> ...
IMHO, the indent_string feature should be removed.
--
Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> - 100%
validated HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des
Jeux Mathématiques et Logiques, TETRHEX, etc.
Computer science / computer arithmetic / Arénaire project at LIP, ENS-Lyon
