Lecture overview -- Keyboard shortcut: 'u'  Previous page: The elucidative programming model -- Keyboard shortcut: 'p'  Next page: Tool Overview -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  Annotated slide -- Keyboard shortcut: 't'  Alphabetic index  Help page about these notes  Course home    Slide 24 : 40

The source format of the documentation - Scheme

An specialized markup language is used for the overall structure, the documentation texgt, the relations, and the source markers

HTML is used for additional markup purposes