XEvent-B 0.0.6 Release

We have made a (pre-)release of XEvent-B for Rodin 3.3.0. It is available on the main Rodin plugins update site. XEvent-B provides a text editors (XText-base) and supports composition of machines via "machine-inclusion” mechanism.

Information about XEvent-B can be found in the following wiki page. http://wiki.event-b.org/index.php/XEvent-B