User documentation

The book is available in the binary distributions. Type:
xdvi (path)/axiom/mnt/linux/doc/book.dvi

Axiom is being reworked to use the Firefox browser as the new front end. Static pages from the new hyperdoc show some of the details. These pages will be "live" in the new Axiom hyperdoc.

A first tutorial is available at: http://www.dcs.st-and.ac.uk/~mnd/documentation/axiom_tutorial/