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 Scheme Elucidator do both abstraction and synthesis statically
Alternatively, the synthesis may be done dynamically by the web server.