This is the help system you get with any distribution of CoCoA. It is invoked by typing ?bla in your CoCoA session and it will tell you about any command and topic whose name contains bla as a substring.

This is a long [1M] single file. It is very convenient for printing (warning: more than 300 pages!) and for searching through.

This is the help system you get with the Graphical User Interface for CoCoA (the doc/ directory), but, being organized as a web site, it may be viewed with any browser.
[It also provides a manual for the Graphical User Interface]
download: tgz [210K],

This is the xml source which generates all manual formats.