diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml index f620ee81f6ec41d5426fc7b654c5b9248237334f..947e3498bcb53529a5de78dacfa4f28b8cc3dcfe 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.2.0.qualifier</version> + <version>3.3.0.qualifier</version> <packaging>pom</packaging> diff --git a/org.eventb.texteditor.parsers/pom.xml b/org.eventb.texteditor.parsers/pom.xml index 9f9f1bceec116f7f4e67de65676e7a04ee37b2c2..225e389dd82224d7ead6e9f675d5724adef47740 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.2.0.qualifier</version> + <version>3.3.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 7faa2b8aff57073da457113546390be9028a053a..8c3fcc32f06276353c3678f0adc391dc40f0d049 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.2.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.2.0.qualifier"> + <feature url="features/org.eventb.texteditor.feature_3.3.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.3.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 aeeccee650cd9c8257651a4587a463e5504a8e38..0a484fd3cb9dc76d1e9dbd7248c48838ead981b7 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.2.0.qualifier</version> + <version>3.3.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.2.0.qualifier</version> + <version>3.3.0.qualifier</version> <packaging>eclipse-repository</packaging> diff --git a/org.eventb.texteditor.ui/pom.xml b/org.eventb.texteditor.ui/pom.xml index fdb4de1d6db4ab5cd4e9221e799b070206433688..e937ed51241cb6b9c7cf460971e75bfed2b98008 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.2.0.qualifier</version> + <version>3.3.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.2.0.qualifier</version> + <version>3.3.0.qualifier</version> <packaging>eclipse-plugin</packaging> </project>