Development

Development site

Development is coordinated via an INRIA Gforge project. In particular, anonymous git access is offered.