diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target
index 8834890556ae7309a133b1c3064a6e9b2961e4d5..b9e5d56c5c084cca9ad141593c4d845233870ae7 100644
--- a/de.prob.core/prob_target.target
+++ b/de.prob.core/prob_target.target
@@ -1,27 +1,22 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<?pde version="3.8"?><target name="prob_target" sequenceNumber="20">
+<?pde version="3.8"?><target name="prob_target" sequenceNumber="21">
 <locations>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
-<unit id="org.eventb.ide.feature.group" version="2.7.0.r15250"/>
-<unit id="fr.systerel.editor.feature.group" version="0.6.4.r15250"/>
-<unit id="org.rodinp.feature.group" version="1.6.0.r15250"/>
-<unit id="org.rodinp.platform.product" version="2.7.0.r15250"/>
-<unit id="org.rodinp.platform.feature.group" version="2.7.0.r15250"/>
-<unit id="org.rodinp.platform.product.root.feature.feature.group" version="2.7.0.r15250"/>
-<repository location="http://rodin-b-sharp.sourceforge.net/core-updates"/>
-</location>
-<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
-<unit id="ac.soton.eventb.emf.core.extension.feature.feature.group" version="1.3.0.201206030057"/>
-<unit id="org.eventb.emf.feature.feature.group" version="3.7.0.201204300914"/>
+<unit id="ac.soton.eventb.emf.core.extension.feature.feature.group" version="3.0.0"/>
+<unit id="org.eventb.emf.feature.feature.group" version="4.0.0"/>
 <repository location="http://rodin-b-sharp.sourceforge.net/updates"/>
 </location>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
-<unit id="org.eventb.theory.feature.feature.group" version="2.0.0"/>
+<unit id="org.eventb.theory.feature.feature.group" version="2.0.0.201308160957"/>
 <repository location="http://www.stups.uni-duesseldorf.de/ProB/buildlibs/theory/"/>
 </location>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
 <unit id="epp.package.java" version="1.4.2.20120213-0813"/>
 <repository location="http://download.eclipse.org/releases/indigo/"/>
 </location>
+<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
+<unit id="org.rodinp.platform.product" version="2.8.0.66956b4"/>
+<repository location="http://rodin-b-sharp.sourceforge.net/core-updates"/>
+</location>
 </locations>
 </target>