Texinfo

The GNU Documentation Format

for Texinfo version 4.2, 28 March 2002

Robert J. Chassell
Richard M. Stallman



This document was generated on 7 May 2002 using texi2html 1.56k.