# Eclipse configurations

This project contains two epf files. These files contains an export of the installation for the two version of eclipse that are used in our work:

## pseim_eclipse_install.p2f

*   Eclipse Modeling Tools
*   Version: Oxygen.2 Release (4.7.2)
*   Build id: 20171218-0600

This eclipse install is used for the pseim EMF metamodel definition and the related XText and Sirius editors. 

## rodin_install.p2f

*   Rodin Platform
*   Version: 3.3.0-f9fbb0d

This Rodin install is used for the definition of the Event-B machines and contexts for pattern application on SEIM models.  