This repository was archived by the owner on Jul 5, 2019. It is now read-only.

Description
We currently have a right-click menu on the glossary that allows a "goto definition/declaration". It would for notations and verbalizations. It would be nice, if we could display the terminologyical relations (synonyms, hypernyms, translations; see #36) as options to this menu as well.
The translation we already have, the others have to wait.