Task #9668 (closed)
Create an abbreviations page
|Reported by:||sbesson||Owned by:|
Currently, abbreviations are defined:
- by a tooltip in the HTML output
- at their first occurrence in the PDF output
As suggested by Helen, another strategy would be to create a page listing all abbreviations and their definitions.