diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml index dcb0e6780ece0e879acc285664ded3e548c7a228..adfe3cd0ab58bb2f00cd0f39e5e892eb0c839082 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 Text Editor" - version="3.6.0.qualifier" + version="3.6.1.qualifier" provider-name="HHU Düsseldorf STUPS Group" plugin="org.eventb.texteditor.ui"> diff --git a/org.eventb.texteditor.feature/pom.xml b/org.eventb.texteditor.feature/pom.xml index 97b3ad01d79b20acbf2ea7eb38660e65ef229f19..705f3b3b7b82da4160064ecc8cb3cf4ca6369010 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.6.0-SNAPSHOT</version> + <version>3.6.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 3eb671efd925e469376016c39b7a579cda2bf4c0..d0a0e806d9ca266250592f6def601ea93bd88abb 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.6.0-SNAPSHOT</version> + <version>3.6.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 dcc294380cb7442d9a94930fbfb93a1bcbae69cf..e0cbc9cdb624342659d527861232bfe0a48b8312 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.6.0.qualifier +Bundle-Version: 3.6.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 104359e1fc045a4649cd3cb51b49b7258a276570..ccf0a69db160a2940bbcda35685114fd927e0026 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.6.0-SNAPSHOT</version> + <version>3.6.1-SNAPSHOT</version> </parent> <artifactId>org.eventb.texteditor.parsers</artifactId> diff --git a/org.eventb.texteditor.repository/pom.xml b/org.eventb.texteditor.repository/pom.xml index 6822d4c8d6a40cd4997de2d63f934d4049c03a98..a813cf408a92b77fd6bb07f8e7c831599b5647dd 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.6.0-SNAPSHOT</version> + <version>3.6.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 38bef5e06348ba19f764585c84a8d49cd4cdaee0..4156f209d36a9a8c87c0b96821629cdd3f6809ef 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 Text Editor Bundle-SymbolicName: org.eventb.texteditor.ui;singleton:=true -Bundle-Version: 3.6.0.qualifier +Bundle-Version: 3.6.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="[5.0.0,6.0.0)", org.eventb.emf.formulas;bundle-version="[1.5.0,2.0.0)", org.eventb.emf.persistence;bundle-version="[3.6.0,4.0.0)";visibility:=reexport, - org.eventb.texteditor.parsers;bundle-version="[3.6.0,3.7.0)", - org.eventb.texttools;bundle-version="[3.6.0,3.7.0)";visibility:=reexport, + org.eventb.texteditor.parsers;bundle-version="[3.6.1,3.7.0)", + org.eventb.texttools;bundle-version="[3.6.1,3.7.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 e6a7a7f9a2908a78dadcdc8f61df6e739309e465..d11b60ff8b76f8c233368cf8d97f1117ac005b28 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.6.0-SNAPSHOT</version> + <version>3.6.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 d5ffc4a1aea876aecdb6b3f81fa7b49fd12d3149..f126874d05fc7b6904e1a5d7652c220be194a003 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.6.0.qualifier +Bundle-Version: 3.6.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="[5.0.0,6.0.0)", org.eventb.emf.formulas;bundle-version="[1.5.0,2.0.0)", org.eventb.emf.persistence;bundle-version="[3.6.0,4.0.0)", - org.eventb.texteditor.parsers;bundle-version="[3.6.0,3.7.0)", + org.eventb.texteditor.parsers;bundle-version="[3.6.1,3.7.0)", org.rodinp.core;bundle-version="[1.7.0,2.0.0)" Bundle-Vendor: HHU Düsseldorf STUPS Group Bundle-ClassPath: . diff --git a/org.eventb.texttools/pom.xml b/org.eventb.texttools/pom.xml index b07b256a62652f18092bd09496be7839fff4d6da..5d37d8071a0fd5e69ac03d00200526e60b10a6fc 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.6.0-SNAPSHOT</version> + <version>3.6.1-SNAPSHOT</version> <relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath> </parent>