From c3fd2bf7cad088ff6b6d9e135f8f7f4d5b9a1afe Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de> Date: Mon, 23 Sep 2019 17:10:29 +0200 Subject: [PATCH] update prob_target --- de.prob.core/prob_target.target | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target index 2f2fd96b..4aa34f21 100644 --- a/de.prob.core/prob_target.target +++ b/de.prob.core/prob_target.target @@ -1,5 +1,6 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> -<?pde version="3.8"?><target name="prob_target" sequenceNumber="45"> +<?pde version="3.8"?> +<target name="prob_target" sequenceNumber="45"> <locations> <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <unit id="org.eclipse.gef.sdk.feature.group" version="3.9.101.201408150207"/> @@ -8,11 +9,11 @@ <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <unit id="org.eventb.ide.feature.group" version="3.3.0.201704022034-f9fbb0d"/> <unit id="org.rodinp.feature.group" version="1.8.0.201704022034-f9fbb0d"/> -<repository location="file:/Users/krings/Downloads/org.rodinp.dev-3.3.0-f9fbb0d/"/> +<repository location="https://www3.hhu.de/stups/buildlibs/org.rodinp.dev"/> </location> <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <unit id="org.eventb.theory.feature.feature.group" version="4.0.0.RC1"/> <repository location="http://rodin-b-sharp.sourceforge.net/updates/"/> </location> </locations> -</target> +</target> \ No newline at end of file -- GitLab