Page History

...

For more information, see Annotations in the API.

Java to HTML

There is a script that converts the Java annotations to XML output. Then there is a Java program that takes in the xml for the table of contents as well as each command, and generates the required html documents which we upload to our website.

...