Update the Features for the Baseline Bundle

• Update the following feature versions using the format x.x.x.qualifier. The latest versions of the features can be found on the corresponding update sites.

  • ac.soton.xeventb.feature.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (CamilleX (SDK)).

  • ac.soton.eventb.statemachines.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (iUMLB State-Machines (for Rodin 3.x.x) SDK).

  • ac.soton.eventb.statemachines.animation.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (iUMLB State-Machines Animation (for Rodin 3.x + ProB1 3.x) SDK).

  • ac.soton.eventb.classdiagrams.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (iUML-B Class Diagrams (for Rodin 3.x.x) SDK).

  • ac.soton.eventb.scenariochecker.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Scenario Checker (for Rodin 3.x.x) SDK).

  • ac.soton.eventb.roseEditor.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Rose Event-B Editor SDK).

  • ch.ethz.eventb.utils.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B Utilities SDK).

  • org.eventb.emf.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B EMF Framework (for Rodin 3.x) SDK).

  • ac.soton.emf.translator.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (EMF Translator SDK).

  • ac.soton.eventb.emf.core.extension.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B EMF Support for Modelling Extensions (for Rodin 3.x) SDK).

  • ac.soton.emf.translator.eventb.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Adaptation of EMF Translator for Event-B SDK).

  • ac.soton.eventb.probsupport.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B ProB Support SDK).

  • ac.soton.eventb.emf.diagrams.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (UML-B Diagrams - Basis (for Rodin 3.x) SDK).

  • ac.soton.eventb.emf.inclusion.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B EMF Inclusion SDK Feature).

  • ac.soton.eventb.emf.record.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B EMF Record SDK Feature).

  • ac.soton.eventb.emf.containment.sdk: Rodin Plug-ins - http://rodin-b-sharp.sourceforge.net/updates (Event-B EMF Containment SDK).

• Add any new features as necessary.