to learn more about how @semantic{} works.
@menu
-* Parser code :: Code used for the parsers
-* Tag handling :: Code used for manipulating tags
+* Parser code :: Code used for the parsers
+* Tag handling :: Code used for manipulating tags
* Semanticdb Internals :: Code used in the semantic database
* Analyzer Internals :: Code used in the code analyzer
* Tools :: Code used in user tools