The reference manual

We have the

online version 5	The online manual.
postscript version 5	The postscript file.
pdf version 5	The pdf file.
online version 4	The online manual.
postscript version 4	The postscript file.
pdf version 4	The pdf file.