_____
---' __\_______
______)
__) For version 1.1
__)
---._______)
This manual is available in the following formats:
- HTML (1112K bytes) entirely on one web page.
- HTML with one web page per node.
- HTML compressed (192K gzipped characters)entirely on one web page.
- HTML compressed (288K gzipped tar file) with one web page per node.
- Info document (156K bytes gzipped tar file).
- ASCII text (500K bytes).
- ASCII text compressed (140K bytes gzipped).
- TeX dvi file (232K bytes gzipped).
- PDF file (764K bytes).
- Texinfo source (140K bytes gzipped tar file).
(This page generated by the gendocs.sh script.)