The purpose of this online manual is to provide a single comprehensive
online reference for Spin users.
It consists of three main parts, the first being the most detailed.
The above material is not tutorial in nature, but meant as a
reference for those familiar with the basic concepts.
A more gentle introduction can be found in, for instance: