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 Frederik Schüler on January, 28 2005
using texi2html