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 August, 20 2004
using texi2html