From 4309e5c484b337320b623a037fa61165580c093b Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Tue, 29 Jul 2014 16:08:48 +0200 Subject: [PATCH] target platform updated for rodin 3.1 --- de.prob.core/prob_target.target | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target index 085afe96..1d4ccde8 100644 --- a/de.prob.core/prob_target.target +++ b/de.prob.core/prob_target.target @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> -<?pde version="3.8"?><target name="prob_target" sequenceNumber="31"> +<?pde version="3.8"?><target name="prob_target" sequenceNumber="32"> <locations> <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <unit id="org.eclipse.gef" version="0.0.0"/> @@ -9,13 +9,12 @@ <repository location="http://rodin-b-sharp.sourceforge.net/updates/"/> </location> <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> -<unit id="org.rodinp.platform.sources.feature.group" version="3.0.0.201403141545-e3d282b"/> -<unit id="org.eventb.ide.feature.group" version="3.0.0.201403141545-e3d282b"/> -<unit id="org.rodinp.platform.tests.feature.group" version="3.0.0.201403141545-e3d282b"/> -<unit id="org.rodinp.feature.group" version="1.7.0.201403141545-e3d282b"/> -<unit id="fr.systerel.editor.feature.group" version="0.7.0.201403141545-e3d282b"/> -<unit id="org.rodinp.platform.feature.group" version="3.0.0.201403141545-e3d282b"/> -<unit id="org.eclipse.ui.workbench" version="0.0.0"/> +<unit id="org.eventb.ide.feature.group" version="3.0.1.201406111447-5326174"/> +<unit id="fr.systerel.editor.feature.group" version="0.7.0.201406111447-5326174"/> +<unit id="org.rodinp.feature.group" version="1.7.0.201406111447-5326174"/> +<unit id="org.rodinp.platform.feature.group" version="3.0.0.201406111447-5326174"/> +<unit id="org.rodinp.platform.tests.feature.group" version="3.0.0.201406111447-5326174"/> +<unit id="org.rodinp.platform.sources.feature.group" version="3.0.0.201406111447-5326174"/> <repository location="http://www.stups.uni-duesseldorf.de/ProB/buildlibs/rodin/"/> </location> </locations> -- GitLab