Skip to content
Snippets Groups Projects
Commit e81dfe70 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

update target

parent 84729fb9
Branches
Tags
No related merge requests found
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?pde version="3.8"?><target name="prob_target" sequenceNumber="75"> <?pde version="3.8"?><target name="prob_target" sequenceNumber="76">
<locations> <locations>
<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.rodinp.platform.product" version="3.2.0.201506220911-ecacdcb"/> <unit id="org.rodinp.platform.product" version="3.2.0.201506220911-ecacdcb"/>
...@@ -12,10 +12,10 @@ ...@@ -12,10 +12,10 @@
<repository location="http://download.eclipse.org/releases/luna"/> <repository location="http://download.eclipse.org/releases/luna"/>
</location> </location>
<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="ac.soton.eventb.roseEditor.feature.feature.group" version="1.6.0"/> <unit id="ac.soton.eventb.roseEditor.feature.feature.group" version="1.6.1"/>
<unit id="org.eventb.emf.feature.feature.group" version="5.2.0"/> <unit id="org.eventb.emf.feature.feature.group" version="5.3.1"/>
<unit id="org.eventb.theory.feature.feature.group" version="3.0.0"/> <unit id="org.eventb.theory.feature.feature.group" version="3.0.0"/>
<unit id="ac.soton.eventb.emf.core.extension.feature.feature.group" version="5.0.1"/> <unit id="ac.soton.eventb.emf.core.extension.feature.feature.group" version="5.1.1"/>
<repository location="http://rodin-b-sharp.sourceforge.net/updates/"/> <repository location="http://rodin-b-sharp.sourceforge.net/updates/"/>
</location> </location>
</locations> </locations>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment