diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target index 2f2fd96b21f7470fd8129a86abde907c0fbcf3fd..4aa34f21d4b8db982c2ca6c63b4e5f7977b4eb93 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