Texinfo

The GNU Documentation Format

for Texinfo version 3.12

February 1998

Robert J. Chassell
Richard M. Stallman



This document was generated on 25 December 1998 using the texi2html translator version 1.52.