The elucidator tool produces the HTML pages to be shown in a browser. In addition,
the elucidator tool makes a number of data structures used by the editor to gain
knowledge about the documentation bundle.
The elucidator is the tool that processes a documentation bundle in order to produce an elucidative program
Tasks of an elucidator
Abstraction
Parses the documentation and the program
Extracts knowledge about program and documentation entities
Synthesis
Generates the HTML pages with links that represent the three kinds of
relations between entities
The synthesis part may be static, or it may be carried out by the WWW server on a dynamic basis
