Node:
Symboldefinition
, Previous:
Semantic analyser
, Up:
Add-on interactors
Displaying the definition of the current symbol under point