Getting started

This section describes simple operations, with which most of the users begin their work with Alloy Navigator: