diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 0c65a20bf9c6cc5d8965cd477a7090eb96e996ae..2ceac0dc6c8e1ed1be65c06bb861656044b97b72 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.4.1.qualifier"
+      version="3.5.0.qualifier"
       provider-name="Heinrich-Heine University Dusseldorf"
       plugin="org.eventb.texteditor.ui">
 
diff --git a/org.eventb.texteditor.feature/pom.xml b/org.eventb.texteditor.feature/pom.xml
index 3f66488211c1b3ceedc67d2d40176b8851d76777..0993164d73ae0636660ce165e0fc24da0d9ea1be 100644
--- a/org.eventb.texteditor.feature/pom.xml
+++ b/org.eventb.texteditor.feature/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>org.eventb.texteditor</groupId>
 		<artifactId>org.eventb.texteditor.parent</artifactId>
-		<version>3.4.1-SNAPSHOT</version>
+		<version>3.5.0-SNAPSHOT</version>
 		<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 	</parent>
 
diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml
index 133ff93ef12c2d3d33deae6956b26f676eb32b54..ad079405e53bf8f0a51aafc4d51b53ac90cce2f3 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.4.1-SNAPSHOT</version>
+	<version>3.5.0-SNAPSHOT</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 995006b16a6fe5e7519cda14273980e2bdac8d49..7f504c2ac58a532131ae5915ccf6216607d33ab7 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.4.1.qualifier
+Bundle-Version: 3.5.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 41f10c148d9117658891bc98d33ee8ac2cee7ebd..4077a0896591f20260fcc8eb5e481563a7d8c97d 100644
--- a/org.eventb.texteditor.parsers/pom.xml
+++ b/org.eventb.texteditor.parsers/pom.xml
@@ -6,7 +6,7 @@
 		<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 		<groupId>org.eventb.texteditor</groupId>
 		<artifactId>org.eventb.texteditor.parent</artifactId>
-		<version>3.4.1-SNAPSHOT</version>
+		<version>3.5.0-SNAPSHOT</version>
 	</parent>
 
 	<artifactId>org.eventb.texteditor.parsers</artifactId>
diff --git a/org.eventb.texteditor.repository/category.xml b/org.eventb.texteditor.repository/category.xml
index 2cc64c1d7a49ae5f5e37e3db4e21d082d32dce01..0e06419338e5c7221ed1ae797d902be60e667b74 100644
--- a/org.eventb.texteditor.repository/category.xml
+++ b/org.eventb.texteditor.repository/category.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <site>
-   <feature url="features/org.eventb.texteditor.feature_3.4.1.qualifier.jar" id="org.eventb.texteditor.feature" version="3.4.1.qualifier">
+   <feature url="features/org.eventb.texteditor.feature_3.5.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.5.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 ec3557d1f213c22452b9593a58aae3b79fabfaa7..bf38cd23b557873823864ab426850605b4984e3e 100644
--- a/org.eventb.texteditor.repository/pom.xml
+++ b/org.eventb.texteditor.repository/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.eventb.texteditor</groupId>
 		<artifactId>org.eventb.texteditor.parent</artifactId>
-		<version>3.4.1-SNAPSHOT</version>
+		<version>3.5.0-SNAPSHOT</version>
 		<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 	</parent>
 
diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
index 7754cb2fe9e5032acd27be6d9b59d3d96fce7956..2c38f24c743629b34218952544ef1affc959f07e 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.4.1.qualifier
+Bundle-Version: 3.5.0.qualifier
 Bundle-Localization: plugin
 Bundle-Activator: org.eventb.texteditor.ui.TextEditorPluginImplementation
-Require-Bundle: org.eventb.texttools;bundle-version="[3.4.1,3.5.0)";visibility:=reexport,
+Require-Bundle: org.eventb.texttools;bundle-version="[3.5.0,3.6.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 ed05d67e7373801ad53657ad7ad09a2f8224100b..a6aff13c650da488a76e1fe62d5a44c279a38b3b 100644
--- a/org.eventb.texteditor.ui/pom.xml
+++ b/org.eventb.texteditor.ui/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>org.eventb.texteditor</groupId>
 		<artifactId>org.eventb.texteditor.parent</artifactId>
-		<version>3.4.1-SNAPSHOT</version>
+		<version>3.5.0-SNAPSHOT</version>
 		<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 	</parent>
 
diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF
index f2a9152a29839f5642d00eb751a4ba537af63555..a3ea8f354f4dbabcedc931340bba8e14648fd12a 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.4.1.qualifier
+Bundle-Version: 3.5.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 12642c6425dd0f7943d118b46418e1a1c8d9779b..e452ba51414f4ae7704ce931ca7ae9cd4138c1d6 100644
--- a/org.eventb.texttools/pom.xml
+++ b/org.eventb.texttools/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>org.eventb.texteditor</groupId>
 		<artifactId>org.eventb.texteditor.parent</artifactId>
-		<version>3.4.1-SNAPSHOT</version>
+		<version>3.5.0-SNAPSHOT</version>
 		<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 	</parent>