XEvent-B 0.0.7 Release

We have made a new (pre-)release of XEvent-B version 0.0.7. It supports cross-project inclusion of machines. It is available on the main Rodin plugins update site.

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