If the "encoded" flag is set, some versions of prt (but not
the CSSC version) omit a newline in the output and so the next
thing follows immediately on the same line.
This document was generated
by Build Daemon user on October, 28 2004
using texi2html