Skip to content
Snippets Groups Projects
Commit 178585aa authored by Sebastian Krings's avatar Sebastian Krings
Browse files

bump version number

parent 0286618c
No related branches found
No related tags found
No related merge requests found
<?xml version="1.0" encoding="UTF-8"?>
<site>
<feature url="features/org.eventb.texteditor.feature_3.3.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.3.0.qualifier">
<feature url="features/org.eventb.texteditor.feature_3.4.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.4.0.qualifier">
<category name="camille"/>
</feature>
<category-def name="camille" label="camille"/>
......
......@@ -2,7 +2,7 @@
<feature
id="org.eventb.texteditor.feature"
label="Camille TextEditor"
version="3.3.0.qualifier"
version="3.4.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.4.0 - Release for Rodin 3.5 and related dependencies
3.3.0 - Compatibility with core 3.3
3.2.0 - Rodin 3.2 compatible release
3.1.2 - Fix some more bugs regarding theory parsing, fix saving
......@@ -204,21 +205,21 @@ Inc. in the United States, other countries, or both.
id="org.eventb.texteditor.ui"
download-size="0"
install-size="0"
version="3.3.0.qualifier"
version="3.4.0.qualifier"
unpack="false"/>
<plugin
id="org.eventb.texttools"
download-size="0"
install-size="0"
version="3.3.0.qualifier"
version="3.4.0.qualifier"
unpack="false"/>
<plugin
id="org.eventb.texteditor.parsers"
download-size="0"
install-size="0"
version="3.3.0.qualifier"
version="3.4.0.qualifier"
unpack="false"/>
</feature>
......@@ -6,11 +6,11 @@
<parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
<version>3.3.0.qualifier</version>
<version>3.4.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.3.0-SNAPSHOT</version>
<version>3.4.0-SNAPSHOT</version>
<packaging>eclipse-feature</packaging>
</project>
......@@ -4,7 +4,7 @@
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
<version>3.3.0.qualifier</version>
<version>3.4.0.qualifier</version>
<packaging>pom</packaging>
......
......@@ -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.3.0.qualifier
Bundle-Version: 3.4.0.qualifier
Bundle-Activator: org.eventb.texteditor.parsers.Activator
Require-Bundle: org.eclipse.core.runtime
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
......
......@@ -6,11 +6,11 @@
<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
<version>3.3.0.qualifier</version>
<version>3.4.0.qualifier</version>
</parent>
<artifactId>org.eventb.texteditor.parsers</artifactId>
<version>3.3.0-SNAPSHOT</version>
<version>3.4.0-SNAPSHOT</version>
<packaging>eclipse-plugin</packaging>
<build>
......
......@@ -2,7 +2,7 @@
<site>
<feature url="features/org.eventb.texteditor.feature_3.3.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.3.0.qualifier">
<feature url="features/org.eventb.texteditor.feature_3.4.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.4.0.qualifier">
<category name="org.eventb.texteditor.feature.category"/>
</feature>
......
......@@ -6,14 +6,14 @@
<parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
<version>3.3.0.qualifier</version>
<version>3.4.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.3.0.qualifier</version>
<version>3.4.0.qualifier</version>
<packaging>eclipse-repository</packaging>
......
......@@ -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.3.0.qualifier
Bundle-Version: 3.4.0.qualifier
Bundle-Localization: plugin
Bundle-Activator: org.eventb.texteditor.ui.TextEditorPluginImplementation
Require-Bundle: org.eventb.texttools;bundle-version="[3.1.0,3.4.0)";visibility:=reexport,
Require-Bundle: org.eventb.texttools;bundle-version="[3.4.0,3.5.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,
......
......@@ -6,13 +6,13 @@
<parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
<version>3.3.0.qualifier</version>
<version>3.4.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.3.0-SNAPSHOT</version>
<version>3.4.0-SNAPSHOT</version>
<packaging>eclipse-plugin</packaging>
</project>
......@@ -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.3.0.qualifier
Bundle-Version: 3.4.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)",
......
......@@ -6,13 +6,13 @@
<parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texteditor.parent</artifactId>
<version>3.3.0.qualifier</version>
<version>3.4.0.qualifier</version>
<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
</parent>
<groupId>org.eventb.texteditor</groupId>
<artifactId>org.eventb.texttools</artifactId>
<version>3.3.0-SNAPSHOT</version>
<version>3.4.0-SNAPSHOT</version>
<packaging>eclipse-plugin</packaging>
</project>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment