diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml index 139b150d62758a2ff32f90ad4e0b75d9517905e2..9d698532dd029a6a4376556cf25ce7387b0d79d8 100644 --- a/org.eventb.texteditor.feature/feature.xml +++ b/org.eventb.texteditor.feature/feature.xml @@ -1,9 +1,9 @@ <?xml version="1.0" encoding="UTF-8"?> <feature id="org.eventb.texteditor.feature" - label="Camille TextEditor" + label="Camille Text Editor" version="3.5.2.qualifier" - provider-name="Heinrich-Heine University Dusseldorf" + provider-name="HHU Düsseldorf STUPS Group" plugin="org.eventb.texteditor.ui"> <description> diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF index 5c51fd560866eb7496203cee3983df27989cc038..d6d06f405ccac0fda1fe71ff5af553ad11860641 100644 --- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF +++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF @@ -16,5 +16,5 @@ Export-Package: de.be4.eventb.core.parser, de.be4.eventb.core.parser.parser, de.hhu.stups.sablecc.patch, org.eventb.texteditor.parsers -Bundle-Vendor: Heinrich-Heine University Dusseldorf +Bundle-Vendor: HHU Düsseldorf STUPS Group Bundle-ActivationPolicy: lazy diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF index e9f8081be9fbb3b88c176815db4e24b128705838..33bb2f0f985b9795387309c73a929f2c93a001e7 100644 --- a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF +++ b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF @@ -1,6 +1,6 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 -Bundle-Name: Camille Texteditor +Bundle-Name: Camille Text Editor Bundle-SymbolicName: org.eventb.texteditor.ui;singleton:=true Bundle-Version: 3.5.2.qualifier Bundle-Localization: plugin @@ -26,7 +26,7 @@ Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)", org.rodinp.keyboard.core;bundle-version="[2.0.0,3.0.0)", org.rodinp.keyboard.ui;bundle-version="[2.0.0,3.0.0)" Bundle-ClassPath: . -Bundle-Vendor: Heinrich-Heine University Dusseldorf +Bundle-Vendor: HHU Düsseldorf STUPS Group Export-Package: org.eventb.texteditor.ui, org.eventb.texteditor.ui.build, org.eventb.texteditor.ui.build.dom, diff --git a/org.eventb.texteditor.ui/about.ini b/org.eventb.texteditor.ui/about.ini index b0f2a9ba8dfb89d90a2a3eb5ddfc7abf30e341a3..7eafc7193033b25c87ea8319a89d383bed6f338a 100644 --- a/org.eventb.texteditor.ui/about.ini +++ b/org.eventb.texteditor.ui/about.ini @@ -1 +1,2 @@ -featureImage=icons/camille32.gif \ No newline at end of file +aboutText=A text editor for the Rodin platform to edit Event-B models. +featureImage=icons/camille32.gif diff --git a/org.eventb.texteditor.ui/build.properties b/org.eventb.texteditor.ui/build.properties index 0f86237aa97f628d7e8727d99465f7d3116f2cd3..f894023ceb5418c3a428a0ef548c263eef7e4a9d 100644 --- a/org.eventb.texteditor.ui/build.properties +++ b/org.eventb.texteditor.ui/build.properties @@ -2,6 +2,7 @@ source.. = src/ output.. = bin/ bin.includes = META-INF/,\ .,\ + about.ini,\ plugin.xml,\ plugin.properties,\ templates.xml,\ diff --git a/org.eventb.texteditor.ui/plugin.properties b/org.eventb.texteditor.ui/plugin.properties index 6da1d5fb6f25c8562e01d5e63e4f5dfb5b06820d..50f198741c969c5e827c9d900a2c9881ab86660b 100644 --- a/org.eventb.texteditor.ui/plugin.properties +++ b/org.eventb.texteditor.ui/plugin.properties @@ -4,7 +4,7 @@ # # $Id$ -pluginName = Camille Texteditor +pluginName = Camille Text Editor _UI_CoreEditor_menu = &Core Editor _UI_MachineEditor_menu = &Machine Editor @@ -40,7 +40,7 @@ _UI_MachineModelWizard_description = Create a new Machine model _UI_MachineEditorFilenameDefaultBase = Machine _UI_MachineEditorFilenameExtensions = bum -_UI_MachineEditor_label = Camille Texteditor +_UI_MachineEditor_label = Camille Text Editor _UI_Wizard_label = New diff --git a/org.eventb.texteditor.ui/plugin.xml b/org.eventb.texteditor.ui/plugin.xml index 8b34c6c4e2e2fad0572c3fe7038a14ecee178dc8..6ffaf1ac310d3ad8d728a745b9a601b00ff9a350 100644 --- a/org.eventb.texteditor.ui/plugin.xml +++ b/org.eventb.texteditor.ui/plugin.xml @@ -71,7 +71,7 @@ category="org.eventb.ui.preferences.eventB" class="org.eventb.texteditor.ui.preferences.TextEditorPreferencePage" id="org.eventb.texteditor.ui.preferences" - name="Camille TextEditor"> + name="Camille Text Editor"> </page> <page category="org.eventb.texteditor.ui.preferences" diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF index ab059e41c3a906cc67641548743953a0d774416e..b5388ea4513785a3306d5f2200b64fbea7babc33 100644 --- a/org.eventb.texttools/META-INF/MANIFEST.MF +++ b/org.eventb.texttools/META-INF/MANIFEST.MF @@ -20,7 +20,7 @@ Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)", org.eventb.emf.persistence;bundle-version="[3.6.0,4.0.0)", org.eventb.texteditor.parsers;bundle-version="[3.5.2,3.6.0)", org.rodinp.core;bundle-version="[1.7.0,2.0.0)" -Bundle-Vendor: Heinrich-Heine University Dusseldorf +Bundle-Vendor: HHU Düsseldorf STUPS Group Bundle-ClassPath: . Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Bundle-ActivationPolicy: lazy