1.1.3 Contributing

The handbook is stored in the Rodin SVN repository and is authored in L^aT_eX. Changes that are checked in will be built automatically on the Jenkins server, managed by the University of Düsseldorf. The result should be available at http://handbook.event-b.org shortly after committing changes.

Each page of the online version also has a feedback button, where feedback can be left using an online form. This feedback will be processed on a regular basis by volunteers.

There is also a mailing list for handbook authors at rodin-b-sharp-handbook@lists.sourceforge.net.

You can also submit feedback via email to rodin-handbook@formalmind.com.