Title of \pre and \post paragraphs

[gennaroprota]

Title of \pre and \post paragraphs

[erez-o]

Thanks for reporting, I'll check on it.

[erez-o]

:) I agree, but currently it's better if I'm consistent with Doxygen regarding this issue.

[gennaroprota]

Thank *you*!

[erez-o]

Fixed and released on version 3.4.17.

/pre and /post titles are now rendered with titles Precondition and Postcondition.

Closing issue, please reopen if you find any problems. Cheers :)

[gennaroprota]

Thanks. To let my pedantic self get completely out :-), I'd prefer the plural, in this case ("Preconditions" and "Postconditions"), but I'll leave it up to you. Doxygen uses the singular. "Precondition" could also be replaced with "Requires", and "Postcondition" with "Ensures", but that's probably deviating too much from what people are used to by using Doxygen.