This document has been written using the SGML-Tools formatting system to generate files in a variety of text formats from one source file. There are plain ASCII, HTML and PostScript versions of this document prepared for you.
In addition, you can use the provided SGML-source to generate other formats.
Note, that the plain ASCII version probably misses a lot of formatting information.