
The HTML docs have been produced from LaTeX source via latex2html.

The file mma.html in this directory was handcrafted.

