From 9af838021f96d6dc3671b7f956dbd86fd5b7ac10 Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Mon, 26 May 2014 11:16:03 +0200 Subject: [PATCH] rodin 2.8 target platform --- de.prob.core/prob_target.target | 21 ++++++++------------- 1 file changed, 8 insertions(+), 13 deletions(-) diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target index 88348905..b9e5d56c 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> -- GitLab