Setup

The tutorial is written so that you can use either the Ada 83 or the Ada 95 version of Ada-ASSURED.

You can exit Ada-ASSURED at any time by selecting command exit (menu: File/Exit   X: ^C   NT: Ctrl+Q).

The tutorial contains numerous hypertext links to pages that are part of the main body of Ada-ASSURED's on-line documentation. You may find it useful to digress from the tutorial to browse such pages for further details; you can always return to the tutorial by backing up in the documentation browser. Note that throughout the tutorial, ``click on x'' means ``position the mouse pointer on x, press the SELECT button, and release it.''

Click on exit and then return to this page by backing up in the documentation browser.

The tutorial assumes that you start with one Ada-ASSURED window open: *untitled*. This will be the case if you have reached the present tutorial page by initiating Ada-ASSURED with no command-line arguments, and then executed command tutorial. If this is not the case, you should exit Ada-ASSURED (e.g., by invoking command exit [menu: File/Exit   X: ^C   NT: Ctrl+Q]) and start again.

Using the normal mechanisms of your window manager, arrange window *untitled* and the window of the documentation browser so they do not overlap and are reasonably large, e.g., make each window cover essentially half the screen.

The window labeled *untitled* will be used to edit Ada code, whereas the documentation browser will be used to browse tutorial instructions and other help pages. Typically, the tutorial will instruct you to take some action in the Ada window and then proceed to the next instruction in the tutorial.