The purpose of this online manual is to provide a single comprehensive
online reference for Spin users.
It documents Spin version 4.
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:
The new Spin book
the definitive description of the current version of Spin
Overview.pdf, a tutorial overview to spin by Moti Ben-Ari,
Tutorial_1.pdf, a tutorial introduction to spin (1 Mb) by Theo Ruys,