Where can I find the list of doxygen tags that are allowed for contracts?
This documentation states:
Additionally, there is another type of comment called a natspec comment, for which the documentation is not yet written. They are written with a triple slash (///) or a double asterisk block(/** ... */) and they should be used directly above function declarations or statements. You can use Doxygen-style tags inside these comments to document functions, annotate conditions for formal verification, and provide a confirmation text which is shown to users when they attempt to invoke a function.
then I tried some tags but got errors like this:
DocstringParsingError: Doc tag @tag not valid for contracts. DocstringParsingError: Doc tag @section not valid for contracts. DocstringParsingError: Doc tag @version not valid for contracts.
Before manually trying some more - is there a list somewhere that lists all allowed doxygen tags?