diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index b415042a5012f3b027b81324dd97c5b16f4ddf34..b8e755c04e54164101a1fbcff6a4f17d871817a6 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.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>
diff --git a/org.eventb.texteditor.feature/pom.xml b/org.eventb.texteditor.feature/pom.xml
index 61023c6b07c57299ef01228d0a51522f31c2e831..160a6ab2ac1632b67fb6a53f0f4cece4d639c6f7 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.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>
diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml
index 8137e8a6db1a6876e0808a15d0741e81c48e6bc5..d884208e5142636315b66d6c31d3160848feba34 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.1.2.qualifier</version>
+ <version>3.2.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 3e3b838848cc097fe49240c435b9647db3f52cbd..272610751a6a92898670f5795db97b36032f2726 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.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
diff --git a/org.eventb.texteditor.parsers/pom.xml b/org.eventb.texteditor.parsers/pom.xml
index 874a0ca1721b0b3e9a926b76cc8c980a5941ac0a..9f9f1bceec116f7f4e67de65676e7a04ee37b2c2 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.1.2.qualifier</version>
+ <version>3.2.0.qualifier</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 b52afd4d9bcb16f28736a9d4e358490f35e97911..7faa2b8aff57073da457113546390be9028a053a 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.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>
diff --git a/org.eventb.texteditor.repository/pom.xml b/org.eventb.texteditor.repository/pom.xml
index ce28b560356a57030078375dc504c8e050fe6228..aeeccee650cd9c8257651a4587a463e5504a8e38 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.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>
diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
index 5c43c008635748aeb6de4da5872d574f8f5ec026..372d9f5998a11208542139a0dd739495d5937c8d 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.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,
diff --git a/org.eventb.texteditor.ui/pom.xml b/org.eventb.texteditor.ui/pom.xml
index 30676b28e19850e91e698db3776ad1e2e8fd4baa..fdb4de1d6db4ab5cd4e9221e799b070206433688 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.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>
diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF
index 3b8dfe500bd1862c0a96aa13bb5186128d77df25..99c948a04b14c7b1c15404e973da669893940b76 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.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)",
diff --git a/org.eventb.texttools/pom.xml b/org.eventb.texttools/pom.xml
index f75bd1f7f2807af56852fa1e3bea4093032b2d98..8a38a1bc9f963b8a189308cdbd9fab0a05d52bcd 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.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>