
See the html documentation in doc/index.html.
