<?xml version='1.0' encoding='UTF-8'?>
<?p2f version='1.0.0'?>
<p2f version='1.0.0'>
  <ius size='38'>
    <iu id='com.clearsy.atelierb.provers.feature.group' name='Atelier B provers' version='2.1.0.r16188'>
      <repositories size='1'>
        <repository location='http://methode-b.com/update_site/atelierb_provers'/>
      </repositories>
    </iu>
    <iu id='org.eventb.texteditor.feature.feature.group' name='Camille TextEditor' version='3.2.0.201511181037'>
      <repositories size='1'>
        <repository location='http://www.stups.hhu.de/camille_updates'/>
      </repositories>
    </iu>
    <iu id='org.eclipse.emf.sdk.feature.group' name='EMF - Eclipse Modeling Framework SDK' version='2.12.0.v20160526-0356'>
      <repositories size='1'>
        <repository location='http://download.eclipse.org/releases/neon'/>
      </repositories>
    </iu>
    <iu id='org.eclipse.emf.ecore.xcore.sdk.feature.group' name='EMF - Eclipse Modeling Framework Xcore SDK' version='1.4.0.v20160526-0606'>
      <repositories size='1'>
        <repository location='http://download.eclipse.org/releases/neon'/>
      </repositories>
    </iu>
    <iu id='org.eclipse.emf.validation.sdk.feature.group' name='EMF Validation Framework SDK' version='1.10.0.201606071713'>
      <repositories size='1'>
        <repository location='http://download.eclipse.org/releases/neon'/>
      </repositories>
    </iu>
    <iu id='ac.soton.eventb.latex.feature.feature.group' name='Event B to LaTeX exporter' version='0.7.0.201607081834'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='org.eventb.emf.feature.feature.group' name='Event-B EMF Framework (for Rodin 3.x)' version='5.4.0'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='org.eventb.emf.sdk.feature.group' name='Event-B EMF Framework (for Rodin 3.x) SDK' version='5.4.0'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.eventb.emf.core.extension.feature.feature.group' name='Event-B EMF Support for Modelling Extensions (for Rodin 3.x)' version='5.3.0'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.eventb.emf.diagrams.feature.feature.group' name='Event-B GMF Support for Diagrams (for Rodin 3.x)' version='6.0.0'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.eventb.emf.diagrams.sdk.feature.group' name='Event-B GMF Support for Diagrams (for Rodin 3.x) SDK' version='6.0.0'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='org.eventb.emf.diagram.feature.feature.group' name='Event-B Project Diagram Plugin (for Rodin 3.1.x)' version='1.0.1'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ch.ethz.eventb.utils_feature.feature.group' name='Event-B Utilities' version='0.2.3.201512161944'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ch.ethz.eventb.utils.sdk.feature.group' name='Event-B Utilities SDK' version='0.2.3.201512161944'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.eventb.xtext.feature.feature.group' name='Event-B XText' version='0.0.5.release'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.eventb.xtext.sdk.feature.group' name='Event-B XText (SDK)' version='0.0.5.release'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.featurecomposition_feature.feature.group' name='Feature Composition Tool' version='0.0.4'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.eventb.classdiagrams.feature.feature.group' name='iUML-B Class Diagrams (for Rodin 3.x.x)' version='1.2.0'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.eventb.statemachines.feature.feature.group' name='iUMLB State-Machines (for Rodin 3.x.x)' version='3.4.1'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.eventb.statemachines.sdk.feature.group' name='iUMLB State-Machines (for Rodin 3.x.x) SDK' version='3.4.1'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.eventb.statemachines.animation.feature.feature.group' name='iUMLB State-Machines Animation  (for Rodin 3.x + ProB1 3.x)' version='2.3.0'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ch.ethz.eventb.decomposition_feature.feature.group' name='Model Decomposition' version='1.3.0.v20141125'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='org.eclipse.ocl.all.sdk.feature.group' name='OCL Classic SDK: Ecore/UML Parsers,Evaluator,Edit' version='5.2.0.v20160523-1914'>
      <repositories size='1'>
        <repository location='http://download.eclipse.org/releases/neon'/>
      </repositories>
    </iu>
    <iu id='ch.ethz.eventb.pattern_feature.feature.group' name='Pattern' version='0.9.0.201503122359'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='de.prob2.feature.feature.group' name='ProB for Rodin3' version='3.0.9.201702070649'>
      <repositories size='1'>
        <repository location='http://www.stups.hhu.de/prob_updates_rodin3'/>
      </repositories>
    </iu>
    <iu id='de.prob2.disprover.feature.feature.group' name='ProB for Rodin3 - EXPERIMENTAL (Dis)Prover' version='3.0.9.201702070649'>
      <repositories size='1'>
        <repository location='http://www.stups.hhu.de/prob_updates_rodin3'/>
      </repositories>
    </iu>
    <iu id='de.prob2.units.feature.feature.group' name='ProB for Rodin3 - Physical Units Support' version='3.0.9.201702070649'>
      <repositories size='1'>
        <repository location='http://www.stups.hhu.de/prob_updates_rodin3'/>
      </repositories>
    </iu>
    <iu id='de.prob2.symbolic.feature.feature.group' name='ProB for Rodin3 - Symbolic Constants Support' version='3.0.9.201702070649'>
      <repositories size='1'>
        <repository location='http://www.stups.hhu.de/prob_updates_rodin3'/>
      </repositories>
    </iu>
    <iu id='ac.ddorf.refactory_feature.feature.group' name='Renaming Refactory' version='1.3.0'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='org.rodinp.handbook.feature.feature.group' name='Rodin Handbook v.2.5' version='2.5.0.201606291411'>
      <repositories size='1'>
        <repository location='http://handbook.event-b.org/updatesite'/>
      </repositories>
    </iu>
    <iu id='ac.soton.eventb.roseEditor.feature.feature.group' name='Rose Event-B Editor' version='1.6.1'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.composition_feature.feature.group' name='Shared Event Composition' version='1.7.0.v20141125'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='org.eventb.smt.feature.group' name='SMT Solvers' version='1.3.0.6a8c26d'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.rodinp.teamwork.feature.feature.group' name='Team-work Feature (for Rodin 3.2+)' version='1.2.0'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.umlb.feature.feature.group' name='UML-B Modelling Environment (for Rodin 3.x.x)' version='2.3.0'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='ac.soton.umlb.stateDiagramAnimation.feature.feature.group' name='UML-B Statemachine Animation (for Rodin 3.x.x)' version='1.3.0'>
      <repositories size='1'>
        <repository location='http://rodin-b-sharp.sourceforge.net/updates'/>
      </repositories>
    </iu>
    <iu id='org.eclipse.xtend.sdk.feature.group' name='Xtend IDE' version='2.10.0.v201605250459'>
      <repositories size='2'>
        <repository location='http://download.eclipse.org/releases/neon'/>
        <repository location='http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/'/>
      </repositories>
    </iu>
    <iu id='org.eclipse.xtext.sdk.feature.group' name='Xtext Complete SDK' version='2.10.0.v201605250459'>
      <repositories size='2'>
        <repository location='http://download.eclipse.org/releases/neon'/>
        <repository location='http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/'/>
      </repositories>
    </iu>
  </ius>
</p2f>
