diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 2b3ea9ecc2797bd644a8a7d542d61f0414936d29..6bfea24008aed25ef12ca7871a6c2d1a41a1e2ab 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.5.0.qualifier"
+      version="3.5.1.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 0993164d73ae0636660ce165e0fc24da0d9ea1be..915fa64a6b365aa0cdd7c61268e8726c1226beb4 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.5.0-SNAPSHOT</version>
+		<version>3.5.1-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 f3b2032f9afb5a2af16a0b699a7303ea8f4dd005..f63b3d2d7fbddf83288c67936b9e334136203b50 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.5.0-SNAPSHOT</version>
+	<version>3.5.1-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 0a692580deb6879f9efe63d4bab706835666cf7e..7686ade82f5d08877008f77f8c72750066c08056 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.5.0.qualifier
+Bundle-Version: 3.5.1.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 f7b5a113727bd6cbf9017c8aa5f1d332a805c10a..06708b11a11a791890f65e409a52ddb9995bcbfe 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.5.0-SNAPSHOT</version>
+		<version>3.5.1-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 0e06419338e5c7221ed1ae797d902be60e667b74..11f343ad65c4b7d4e16edd5b5642c9229621ab40 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.5.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.5.0.qualifier">
+   <feature url="features/org.eventb.texteditor.feature_3.5.1.qualifier.jar" id="org.eventb.texteditor.feature" version="3.5.1.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 bf38cd23b557873823864ab426850605b4984e3e..d819fe50a6f74e0f7dc9130debf33f5421286764 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.5.0-SNAPSHOT</version>
+		<version>3.5.1-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 f74f434372eb38307412e68c924fc9c74c306e81..a87e4f9719363cef7f38cd466b16f0cd0cd6bd42 100644
--- a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Camille Texteditor
 Bundle-SymbolicName: org.eventb.texteditor.ui;singleton:=true
-Bundle-Version: 3.5.0.qualifier
+Bundle-Version: 3.5.1.qualifier
 Bundle-Localization: plugin
 Bundle-Activator: org.eventb.texteditor.ui.TextEditorPluginImplementation
 Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
@@ -19,8 +19,8 @@ Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
  org.eventb.emf.core;bundle-version="[4.0.0,7.0.0)",
  org.eventb.emf.formulas;bundle-version="[1.4.0,3.0.0)",
  org.eventb.emf.persistence;bundle-version="[3.1.1,5.0.0)";visibility:=reexport,
- org.eventb.texteditor.parsers;bundle-version="[3.5.0,3.6.0)",
- org.eventb.texttools;bundle-version="[3.5.0,3.6.0)";visibility:=reexport,
+ org.eventb.texteditor.parsers;bundle-version="[3.5.1,3.6.0)",
+ org.eventb.texttools;bundle-version="[3.5.1,3.6.0)";visibility:=reexport,
  org.eventb.ui;bundle-version="[3.0.0,4.0.0)";visibility:=reexport,
  org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
  org.rodinp.keyboard.core;bundle-version="[2.0.0,3.0.0)",
diff --git a/org.eventb.texteditor.ui/pom.xml b/org.eventb.texteditor.ui/pom.xml
index a6aff13c650da488a76e1fe62d5a44c279a38b3b..ecb95e22008c975a37e1929ff05e3f11e07669a5 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.5.0-SNAPSHOT</version>
+		<version>3.5.1-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 b6ed32e3f1d91ee2c17762b3e002524738efdc83..8e0ddf314a590a6071fd6dfe5c82a7397be09915 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.5.0.qualifier
+Bundle-Version: 3.5.1.qualifier
 Bundle-Activator: org.eventb.texttools.TextToolsPlugin
 Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
  org.eclipse.core.runtime;bundle-version="[3.10.0,4.0.0)",
@@ -18,7 +18,7 @@ Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
  org.eventb.emf.core;bundle-version="[4.0.0,7.0.0)",
  org.eventb.emf.formulas;bundle-version="[1.4.0,3.0.0)",
  org.eventb.emf.persistence;bundle-version="[3.1.1,5.0.0)",
- org.eventb.texteditor.parsers;bundle-version="[3.5.0,3.6.0)",
+ org.eventb.texteditor.parsers;bundle-version="[3.5.1,3.6.0)",
  org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
 Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Bundle-ClassPath: .
diff --git a/org.eventb.texttools/pom.xml b/org.eventb.texttools/pom.xml
index e452ba51414f4ae7704ce931ca7ae9cd4138c1d6..fe550b9a286e1fe5c26985928bf8b3f759220c89 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.5.0-SNAPSHOT</version>
+		<version>3.5.1-SNAPSHOT</version>
 		<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 	</parent>