From 735958ec82701de38b6d3e408ff2d6cc3c9b79bc Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 17 Aug 2023 14:28:03 +0200
Subject: [PATCH] Bump version number to 3.5.1
---
org.eventb.texteditor.feature/feature.xml | 2 +-
org.eventb.texteditor.feature/pom.xml | 2 +-
org.eventb.texteditor.parent/pom.xml | 2 +-
org.eventb.texteditor.parsers/META-INF/MANIFEST.MF | 2 +-
org.eventb.texteditor.parsers/pom.xml | 2 +-
org.eventb.texteditor.repository/category.xml | 2 +-
org.eventb.texteditor.repository/pom.xml | 2 +-
org.eventb.texteditor.ui/META-INF/MANIFEST.MF | 6 +++---
org.eventb.texteditor.ui/pom.xml | 2 +-
org.eventb.texttools/META-INF/MANIFEST.MF | 4 ++--
org.eventb.texttools/pom.xml | 2 +-
11 files changed, 14 insertions(+), 14 deletions(-)
diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 2b3ea9e..6bfea24 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 0993164..915fa64 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 f3b2032..f63b3d2 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 0a69258..7686ade 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 f7b5a11..06708b1 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 0e06419..11f343a 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 bf38cd2..d819fe5 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 f74f434..a87e4f9 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 a6aff13..ecb95e2 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 b6ed32e..8e0ddf3 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 e452ba5..fe550b9 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>
--
GitLab