Help

The online user manual for Ada-ASSURED is organized as an HTML hypertext document consisting of a collection of ``pages'' connected by ``hot links.'' An HTML browser is invoked automatically from Ada-ASSURED for viewing this documentation. Clicking Select on a hot link replaces the current page by a new one.

The set of pages is organized as a tree-structured hierarchy with occasional cross-links. The command help-for-editor displays the top of the documentation tree. A typical page for a section (e.g., this page) contains a prose description of the section, with index terms embedded as links within the text. Icons are provided for navigating to previous sibling, parent, next sibling, previous page, and next page.

Various help commands provide indexed access to pages. Tutorial enters the tutorial for Ada-ASSURED. Describe-command gets individual command descriptions. Describe-transform provides access to descriptions of the editor's source-to-source transforms. Describe-context describes the syntactic category of the structural selection. Describe-view displays documentation on the current view.

Describe-key-or-mouse-button prints (in the status pane of the window) the name of the command associated with a given key or mouse-button.

The help commands are:

• about
• describe-command
• describe-context
• describe-key-or-mouse-button
• describe-menus
• describe-transform
• describe-view
• follow-edge
• help-for-editor
• show-copyright
• tutorial