version bump to 3.2.0 to follow rodin version

org.eventb.texteditor.feature/feature.xml

@@ -2,7 +2,7 @@
 <feature
       id="org.eventb.texteditor.feature"
       label="Camille TextEditor"
-      version="3.1.2.qualifier"
+      version="3.2.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.2.0 - Rodin 3.2 compatible release
 3.1.2 - Fix some more bugs regarding theory parsing, fix saving changes to seen contexts.
 3.1.1 - Fix parsing of theory operators with more than one operand
 3.1.0 - Initial release for Rodin 3.1
@@ -189,21 +190,21 @@ Inc. in the United States, other countries, or both.
          id="org.eventb.texteditor.ui"
          download-size="0"
          install-size="0"
-         version="3.1.2.qualifier"
+         version="3.2.0.qualifier"
          unpack="false"/>
 
    <plugin
          id="org.eventb.texttools"
          download-size="0"
          install-size="0"
-         version="3.1.2.qualifier"
+         version="3.2.0.qualifier"
          unpack="false"/>
 
    <plugin
          id="org.eventb.texteditor.parsers"
          download-size="0"
          install-size="0"
-         version="3.1.2.qualifier"
+         version="3.2.0.qualifier"
          unpack="false"/>
 
 </feature>

org.eventb.texteditor.feature/pom.xml

@@ -6,11 +6,11 @@
 		<parent>
 			<groupId>org.eventb.texteditor</groupId>
 			<artifactId>org.eventb.texteditor.parent</artifactId>
-			<version>3.1.2.qualifier</version>
+			<version>3.2.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.1.2.qualifier</version>
+		<version>3.2.0.qualifier</version>
 		<packaging>eclipse-feature</packaging>
 	</project>

org.eventb.texteditor.parent/pom.xml

@@ -4,7 +4,7 @@
 
 	<groupId>org.eventb.texteditor</groupId>
   	<artifactId>org.eventb.texteditor.parent</artifactId>
-  	<version>3.1.2.qualifier</version>
+  	<version>3.2.0.qualifier</version>
 
 	<packaging>pom</packaging>
 

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.1.2.qualifier
+Bundle-Version: 3.2.0.qualifier
 Bundle-Activator: org.eventb.texteditor.parsers.Activator
 Require-Bundle: org.eclipse.core.runtime
 Bundle-RequiredExecutionEnvironment: JavaSE-1.7

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.1.2.qualifier</version>
+    <version>3.2.0.qualifier</version>
   </parent>
 
   <artifactId>org.eventb.texteditor.parsers</artifactId>

org.eventb.texteditor.repository/category.xml

@@ -2,7 +2,7 @@
 <site>
 
 
-	<feature url="features/org.eventb.texteditor.feature_3.1.2.qualifier.jar" id="org.eventb.texteditor.feature" version="3.1.2.qualifier">
+	<feature url="features/org.eventb.texteditor.feature_3.2.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.2.0.qualifier">
 		<category name="org.eventb.texteditor.feature.category"/>
 	</feature>
 

org.eventb.texteditor.repository/pom.xml

@@ -6,14 +6,14 @@
     <parent>
       <groupId>org.eventb.texteditor</groupId>
       <artifactId>org.eventb.texteditor.parent</artifactId>
-      <version>3.1.2.qualifier</version>
+      <version>3.2.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.1.2.qualifier</version>
+    <version>3.2.0.qualifier</version>
     <packaging>eclipse-repository</packaging>
 
 

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.1.2.qualifier
+Bundle-Version: 3.2.0.qualifier
 Bundle-Localization: plugin
 Bundle-Activator: org.eventb.texteditor.ui.TextEditorPluginImplementation
-Require-Bundle: org.eventb.texttools;bundle-version="[3.1.0,3.2.0)";visibility:=reexport,
+Require-Bundle: org.eventb.texttools;bundle-version="[3.1.0,3.3.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,

org.eventb.texteditor.ui/pom.xml

@@ -6,13 +6,13 @@
 		<parent>
 			<groupId>org.eventb.texteditor</groupId>
 			<artifactId>org.eventb.texteditor.parent</artifactId>
-			<version>3.1.2.qualifier</version>
+			<version>3.2.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.1.2.qualifier</version>
+		<version>3.2.0.qualifier</version>
 		<packaging>eclipse-plugin</packaging>
 
 	</project>

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.1.2.qualifier
+Bundle-Version: 3.2.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)",

org.eventb.texttools/pom.xml

@@ -6,13 +6,13 @@
 		<parent>
 			<groupId>org.eventb.texteditor</groupId>
 			<artifactId>org.eventb.texteditor.parent</artifactId>
-			<version>3.1.2.qualifier</version>
+			<version>3.2.0.qualifier</version>
 			<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 		</parent>
 
 		<groupId>org.eventb.texteditor</groupId>
 		<artifactId>org.eventb.texttools</artifactId>
-		<version>3.1.2.qualifier</version>
+		<version>3.2.0.qualifier</version>
 		<packaging>eclipse-plugin</packaging>
 
 	</project>