diff --git a/org.eventb.texteditor.feature/category.xml b/org.eventb.texteditor.feature/category.xml
index 73b09e9f2c22888548570331fcebf0e89a013c60..3db85f48c23cf5c1b6991dc41e0a6924a23d1876 100644
--- a/org.eventb.texteditor.feature/category.xml
+++ b/org.eventb.texteditor.feature/category.xml
@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<site>
- <feature url="features/org.eventb.texteditor.feature_3.3.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.3.0.qualifier">
+ <feature url="features/org.eventb.texteditor.feature_3.4.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.4.0.qualifier">
<category name="camille"/>
</feature>
<category-def name="camille" label="camille"/>
diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 0d2a6dde2500e876b41160521178a95be3fb9a14..abc0078030bf4437b457d8e139d0f76f2691f854 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -2,7 +2,7 @@
<feature
id="org.eventb.texteditor.feature"
label="Camille TextEditor"
- version="3.3.0.qualifier"
+ version="3.4.0.qualifier"
provider-name="Heinrich-Heine University Dusseldorf"
plugin="org.eventb.texteditor.ui">
@@ -10,6 +10,7 @@
A text editor for the Rodin platform to edit Event-B models
-----------------------------------------------------------
Release History:
+3.4.0 - Release for Rodin 3.5 and related dependencies
3.3.0 - Compatibility with core 3.3
3.2.0 - Rodin 3.2 compatible release
3.1.2 - Fix some more bugs regarding theory parsing, fix saving
@@ -204,21 +205,21 @@ Inc. in the United States, other countries, or both.
id="org.eventb.texteditor.ui"
download-size="0"
install-size="0"
- version="3.3.0.qualifier"
+ version="3.4.0.qualifier"
unpack="false"/>
<plugin
id="org.eventb.texttools"
download-size="0"
install-size="0"
- version="3.3.0.qualifier"
+ version="3.4.0.qualifier"
unpack="false"/>
<plugin
id="org.eventb.texteditor.parsers"
download-size="0"
install-size="0"
- version="3.3.0.qualifier"
+ version="3.4.0.qualifier"
unpack="false"/>
</feature>
diff --git a/org.eventb.texteditor.feature/pom.xml b/org.eventb.texteditor.feature/pom.xml
index a09ad91000b0cf7fec81890da0df71e4a249480d..faf6b309a998aa37c38772854038cd08d8b75217 100644
--- a/org.eventb.texteditor.feature/pom.xml
+++ b/org.eventb.texteditor.feature/pom.xml
@@ -6,11 +6,11 @@
<parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
- <version>3.3.0.qualifier</version>
+ <version>3.4.0.qualifier</version>
<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
</parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.feature</artifactId>
- <version>3.3.0-SNAPSHOT</version>
+ <version>3.4.0-SNAPSHOT</version>
<packaging>eclipse-feature</packaging>
</project>
diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml
index 8b221239a91b15f67503f80b2260f18ba01edf03..cc096fa70c70deece2277a39b06d89a2be6e34a2 100644
--- a/org.eventb.texteditor.parent/pom.xml
+++ b/org.eventb.texteditor.parent/pom.xml
@@ -4,7 +4,7 @@
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
- <version>3.3.0.qualifier</version>
+ <version>3.4.0.qualifier</version>
<packaging>pom</packaging>
diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index e9bf2e526255151bdce7ee8d2078db97c5ee347e..5cadc4f677c8ad4115ac3d02d303d8588a60735f 100644
--- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Parsers for Camille
Bundle-SymbolicName: org.eventb.texteditor.parsers
-Bundle-Version: 3.3.0.qualifier
+Bundle-Version: 3.4.0.qualifier
Bundle-Activator: org.eventb.texteditor.parsers.Activator
Require-Bundle: org.eclipse.core.runtime
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
diff --git a/org.eventb.texteditor.parsers/pom.xml b/org.eventb.texteditor.parsers/pom.xml
index c8ec4ddfb22a40bb984269bd2daa744db063c1c4..b400c36bb7e0efd43c3145754673995f3f5f4657 100644
--- a/org.eventb.texteditor.parsers/pom.xml
+++ b/org.eventb.texteditor.parsers/pom.xml
@@ -6,11 +6,11 @@
<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
- <version>3.3.0.qualifier</version>
+ <version>3.4.0.qualifier</version>
</parent>
<artifactId>org.eventb.texteditor.parsers</artifactId>
- <version>3.3.0-SNAPSHOT</version>
+ <version>3.4.0-SNAPSHOT</version>
<packaging>eclipse-plugin</packaging>
<build>
diff --git a/org.eventb.texteditor.repository/category.xml b/org.eventb.texteditor.repository/category.xml
index 8c3fcc32f06276353c3678f0adc391dc40f0d049..a3b8d95e7fa3b55efaa62ae4633b87d50ca38c92 100644
--- a/org.eventb.texteditor.repository/category.xml
+++ b/org.eventb.texteditor.repository/category.xml
@@ -2,7 +2,7 @@
<site>
- <feature url="features/org.eventb.texteditor.feature_3.3.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.3.0.qualifier">
+ <feature url="features/org.eventb.texteditor.feature_3.4.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.4.0.qualifier">
<category name="org.eventb.texteditor.feature.category"/>
</feature>
diff --git a/org.eventb.texteditor.repository/pom.xml b/org.eventb.texteditor.repository/pom.xml
index 0a484fd3cb9dc76d1e9dbd7248c48838ead981b7..8cc2a47a73616e21557590ecae5127d3964ad745 100644
--- a/org.eventb.texteditor.repository/pom.xml
+++ b/org.eventb.texteditor.repository/pom.xml
@@ -6,14 +6,14 @@
<parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
- <version>3.3.0.qualifier</version>
+ <version>3.4.0.qualifier</version>
<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
</parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.repository</artifactId>
- <version>3.3.0.qualifier</version>
+ <version>3.4.0.qualifier</version>
<packaging>eclipse-repository</packaging>
diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
index 389769c920b9635cb42cbfbf962e80d94bfbc8ad..07931d8a8c67badb6d108e242c1c89add8b11600 100644
--- a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
@@ -2,10 +2,10 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Camille Texteditor
Bundle-SymbolicName: org.eventb.texteditor.ui;singleton:=true
-Bundle-Version: 3.3.0.qualifier
+Bundle-Version: 3.4.0.qualifier
Bundle-Localization: plugin
Bundle-Activator: org.eventb.texteditor.ui.TextEditorPluginImplementation
-Require-Bundle: org.eventb.texttools;bundle-version="[3.1.0,3.4.0)";visibility:=reexport,
+Require-Bundle: org.eventb.texttools;bundle-version="[3.4.0,3.5.0)";visibility:=reexport,
org.eventb.emf.formulas;bundle-version="[1.4.0,2.0.0)",
org.eventb.emf.persistence;bundle-version="[3.1.1,4.0.0)";visibility:=reexport,
org.eventb.ui;bundle-version="[3.0.0,4.0.0)";visibility:=reexport,
diff --git a/org.eventb.texteditor.ui/pom.xml b/org.eventb.texteditor.ui/pom.xml
index 889161a7e5c7f0a6773e4cb7bc973bbdf2838f9b..63794f994dafa852c8b75805acda9768263efda5 100644
--- a/org.eventb.texteditor.ui/pom.xml
+++ b/org.eventb.texteditor.ui/pom.xml
@@ -6,13 +6,13 @@
<parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
- <version>3.3.0.qualifier</version>
+ <version>3.4.0.qualifier</version>
<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
</parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.ui</artifactId>
- <version>3.3.0-SNAPSHOT</version>
+ <version>3.4.0-SNAPSHOT</version>
<packaging>eclipse-plugin</packaging>
</project>
diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF
index 946b59abf721398758a296cf93d85e0cc04d3d38..2e195366d1ec4129d22634b4d2d6c1fea3b4ca95 100644
--- a/org.eventb.texttools/META-INF/MANIFEST.MF
+++ b/org.eventb.texttools/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Event-B EMF Texttools
Bundle-SymbolicName: org.eventb.texttools;singleton:=true
-Bundle-Version: 3.3.0.qualifier
+Bundle-Version: 3.4.0.qualifier
Bundle-Activator: org.eventb.texttools.TextToolsPlugin
Require-Bundle: org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)",
org.eventb.emf.formulas;bundle-version="[1.4.0,2.0.0)",
diff --git a/org.eventb.texttools/pom.xml b/org.eventb.texttools/pom.xml
index de7e503cf6f10d00364abb01ae7c2dfe7f1a1cce..eb1994596b028cd2c039ee8f5aab78d3e29ca432 100644
--- a/org.eventb.texttools/pom.xml
+++ b/org.eventb.texttools/pom.xml
@@ -6,13 +6,13 @@
<parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
- <version>3.3.0.qualifier</version>
+ <version>3.4.0.qualifier</version>
<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
</parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texttools</artifactId>
- <version>3.3.0-SNAPSHOT</version>
+ <version>3.4.0-SNAPSHOT</version>
<packaging>eclipse-plugin</packaging>
</project>