update target platform and build files for new rodin version

org.eventb.texteditor.feature/camille.target

 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<?pde version="3.8"?><target name="prob_target" sequenceNumber="76">
+<?pde version="3.8"?><target name="camille_target" sequenceNumber="89">
 <locations>
-<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
-<unit id="org.rodinp.platform.product" version="3.2.0.201506220911-ecacdcb"/>
-<repository location="http://rodin-b-sharp.sourceforge.net/core-updates/"/>
+<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="slicer" includeSource="true" type="InstallableUnit">
+<unit id="org.eclipse.emf.compare.ide.ui.feature.group" version="3.3.2.201709090201"/>
+<unit id="org.eclipse.emf.sdk.feature.group" version="2.13.0.v20170609-0928"/>
+<repository location="http://download.eclipse.org/releases/oxygen"/>
 </location>
-<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
-<unit id="org.eclipse.emf.sdk.feature.group" version="2.10.2.v20150123-0452"/>
-<unit id="org.eclipse.emf.compare.source.feature.group" version="3.0.2.201501201328"/>
-<unit id="org.eclipse.emf.compare.ide.ui.source.feature.group" version="3.0.2.201501201328"/>
-<repository location="http://download.eclipse.org/releases/luna"/>
-</location>
-<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
+<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="slicer" includeSource="true" type="InstallableUnit">
 <unit id="ac.soton.eventb.roseEditor.feature.feature.group" version="1.6.1"/>
-<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="ac.soton.eventb.emf.core.extension.feature.feature.group" version="5.1.1"/>
+<unit id="org.eventb.emf.feature.feature.group" version="5.4.0"/>
+<unit id="org.eventb.emf.sdk.feature.group" version="5.4.0"/>
 <repository location="http://rodin-b-sharp.sourceforge.net/updates/"/>
 </location>
+<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="slicer" includeSource="true" type="InstallableUnit">
+<unit id="fr.systerel.editor.feature.group" version="0.9.2.201802230927-6980ca1"/>
+<unit id="org.eclipse.platform.feature.group" version="4.7.2.v20171130-0510"/>
+<unit id="org.eventb.ide.feature.group" version="3.4.0.201802230927-6980ca1"/>
+<unit id="org.rodinp.feature.group" version="1.8.1.201802230927-6980ca1"/>
+<unit id="org.rodinp.platform.feature.group" version="3.4.0.201802230927-6980ca1"/>
+<unit id="org.rodinp.platform.sources.feature.group" version="3.4.0.201802230927-6980ca1"/>
+<repository location="https://www3.hhu.de/stups/buildlibs/org.rodinp.dev/"/>
+</location>
+<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="slicer" includeSource="true" type="InstallableUnit">
+<unit id="org.eclipse.emf.compare.feature.group" version="3.3.2.201709090201"/>
+<unit id="org.eclipse.emf.compare.ide.ui.source.feature.group" version="3.3.2.201709090201"/>
+<unit id="org.eclipse.emf.compare.rcp.ui.feature.group" version="3.3.2.201709090201"/>
+<unit id="org.eclipse.emf.compare.rcp.ui.source.feature.group" version="3.3.2.201709090201"/>
+<unit id="org.eclipse.emf.compare.source.feature.group" version="3.3.2.201709090201"/>
+<repository location="http://download.eclipse.org/modeling/emf/compare/updates/releases"/>
+</location>
 </locations>
 </target>

org.eventb.texteditor.parent/pom.xml

@@ -18,19 +18,19 @@
 	<repository>
 	  <id>targetRepository0</id>
 	  <layout>p2</layout>
-	  <url>http://download.eclipse.org/releases/luna/</url>
+	  <url>http://download.eclipse.org/releases/oxygen/</url>
 	</repository>
 
 	<repository>
 	  <id>targetRepository1</id>
 	  <layout>p2</layout>
-	  <url>http://download.eclipse.org/tools/gef/updates/releases/</url>
+	  <url>http://download.eclipse.org/modeling/emf/compare/updates/releases/</url>
 	</repository>
 
     <repository>
 	  <id>targetRepository2</id>
 	  <layout>p2</layout>
-	  <url>http://rodin-b-sharp.sourceforge.net/core-updates</url>
+	  <url>https://www3.hhu.de/stups/buildlibs/org.rodinp.dev</url>
 	</repository>
 
 	<repository>

org.eventb.texteditor.ui/META-INF/MANIFEST.MF

@@ -23,7 +23,8 @@ Require-Bundle: org.eventb.texttools;bundle-version="[3.1.0,3.3.0)";visibility:=
  org.eventb.core;bundle-version="3.1.0",
  org.eclipse.emf.edit,
  org.eventb.texteditor.parsers,
- org.rodinp.keyboard.core;bundle-version="[2.0.0,3.0.0)"
+ org.rodinp.keyboard.core;bundle-version="[2.0.0,3.0.0)",
+ org.rodinp.keyboard.ui;bundle-version="[2.0.0,3.0.0)"
 Bundle-ClassPath: .
 Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Export-Package: org.eventb.texteditor.ui;

org.eventb.texttools/META-INF/MANIFEST.MF

@@ -19,7 +19,7 @@ Require-Bundle: org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)",
  org.eclipse.emf.compare.ide;bundle-version="3.1.1",
  org.eclipse.emf.compare.rcp;bundle-version="2.2.0",
  org.eclipse.emf.ecore.xmi;bundle-version="2.10.1",
- org.eventb.core;bundle-version="3.1.0"
+ org.eventb.core;bundle-version="[3.1.0,4.0.0)"
 Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Bundle-ClassPath: .
 Bundle-RequiredExecutionEnvironment: JavaSE-1.7