diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 9d698532dd029a6a4376556cf25ce7387b0d79d8..dcb0e6780ece0e879acc285664ded3e548c7a228 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 Text Editor"
-      version="3.5.2.qualifier"
+      version="3.6.0.qualifier"
       provider-name="HHU Düsseldorf STUPS Group"
       plugin="org.eventb.texteditor.ui">
 
diff --git a/org.eventb.texteditor.feature/pom.xml b/org.eventb.texteditor.feature/pom.xml
index 75a2ba5f00bc2a1cec30b38a0699363360c7aae9..97b3ad01d79b20acbf2ea7eb38660e65ef229f19 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.2-SNAPSHOT</version>
+		<version>3.6.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 e5dfaf96345e8970743ec2d2a0c3c86bced0f80e..3eb671efd925e469376016c39b7a579cda2bf4c0 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.2-SNAPSHOT</version>
+	<version>3.6.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 44f70d06af607b70803b132cfa278647facea5b8..dcc294380cb7442d9a94930fbfb93a1bcbae69cf 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.2.qualifier
+Bundle-Version: 3.6.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 4c071ba978a0f4949931cb265f318715ad40f606..104359e1fc045a4649cd3cb51b49b7258a276570 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.2-SNAPSHOT</version>
+		<version>3.6.0-SNAPSHOT</version>
 	</parent>
 
 	<artifactId>org.eventb.texteditor.parsers</artifactId>
diff --git a/org.eventb.texteditor.repository/pom.xml b/org.eventb.texteditor.repository/pom.xml
index e7df19f5a938424d4228a7e61286f5464377f039..6822d4c8d6a40cd4997de2d63f934d4049c03a98 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.2-SNAPSHOT</version>
+		<version>3.6.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 33bb2f0f985b9795387309c73a929f2c93a001e7..38bef5e06348ba19f764585c84a8d49cd4cdaee0 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 Text Editor
 Bundle-SymbolicName: org.eventb.texteditor.ui;singleton:=true
-Bundle-Version: 3.5.2.qualifier
+Bundle-Version: 3.6.0.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="[5.0.0,6.0.0)",
  org.eventb.emf.formulas;bundle-version="[1.5.0,2.0.0)",
  org.eventb.emf.persistence;bundle-version="[3.6.0,4.0.0)";visibility:=reexport,
- org.eventb.texteditor.parsers;bundle-version="[3.5.2,3.6.0)",
- org.eventb.texttools;bundle-version="[3.5.2,3.6.0)";visibility:=reexport,
+ org.eventb.texteditor.parsers;bundle-version="[3.6.0,3.7.0)",
+ org.eventb.texttools;bundle-version="[3.6.0,3.7.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 c15a6910607a3d20861170065a4e69ef04ba3bb8..e6a7a7f9a2908a78dadcdc8f61df6e739309e465 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.2-SNAPSHOT</version>
+		<version>3.6.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 b5388ea4513785a3306d5f2200b64fbea7babc33..d5ffc4a1aea876aecdb6b3f81fa7b49fd12d3149 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.2.qualifier
+Bundle-Version: 3.6.0.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="[5.0.0,6.0.0)",
  org.eventb.emf.formulas;bundle-version="[1.5.0,2.0.0)",
  org.eventb.emf.persistence;bundle-version="[3.6.0,4.0.0)",
- org.eventb.texteditor.parsers;bundle-version="[3.5.2,3.6.0)",
+ org.eventb.texteditor.parsers;bundle-version="[3.6.0,3.7.0)",
  org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
 Bundle-Vendor: HHU Düsseldorf STUPS Group
 Bundle-ClassPath: .
diff --git a/org.eventb.texttools/pom.xml b/org.eventb.texttools/pom.xml
index 71d66836b2cef0d1ad1937c078124fbe0f5997d3..b07b256a62652f18092bd09496be7839fff4d6da 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.2-SNAPSHOT</version>
+		<version>3.6.0-SNAPSHOT</version>
 		<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 	</parent>