Developer Manual

This document gives an overview of the internals of the Sirius Collaborative mode, and describes the main APIs and extension points.