tutorialThis is the top-level card of Ada-ASSURED's self-teaching tutorial introduction. The tutorial is organized as an on-line hypertext document consisting of ``cards'' interconnected by directed ``links''. Links are just phrases in the text (printed in a distinguished typographical style) that have an associated target card. Clicking Select on an link replaces the present card with the target card. Clicking Select on ``GoBack'' in the upper right-hand corner of a card returns to the card previously displayed in the buffer. To see additional material about the editor's help features, click Select on Help.
Links labeled Ada-ASSURED Tutorial return to this card. Links labeled next proceed to the next sequential step in the tutorial.
The tutorial is organized into the following sections. Click on Setup to begin the tutorial.
Setup
Windows
Selections
Placeholders
Templates
Text Entry
Selecting and Navigating
Textual Re-editing
Cut-and-Paste
Elision
Style Enforcement
Buffers and Windows
Enforcement Parameters
Commands
Name-based Browsing
Derived Templates
Dynamic SSL
Further Reading
To return to the Table of Contents card of the hypertext documentation, click here.