Provide a list of all supported `@` annotations

[akrzemi1]

I know of at least one @ annotation -- @tparam -- that is not part of "standard" Javadoc annotations.
Please have the documentation provide a comprehensive list.

Also, the docs mention the annotations like @em, but I am missing an example. In HTML there is a starting tag for <em> and an an ending tag </em>. This pair clearly delimits the code that needs to be emphasized. How does this work for `@em? How do I tell it that only the three next words need to be emphasized?

[akrzemi1]

For instance, I would like to know, if it has things like @precondition, @postcondition...

[alandefreitas]

In the mrdocs documentation, each @ command needs its own page with:

• the name of the command
• the syntax of the command
• a verbal description of what it does
• an example javadoc and declaration which uses the command
• the result of rendering the example above

and we need an index page that references all of the above