From 51fe5fcf3ddfbfa44171d9593f6e9a681989bb21 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 22 May 2013 12:06:20 +0200
Subject: [PATCH] externalize strings in disprover.cover
---
de.prob.eventb.disprover.core/META-INF/MANIFEST.MF | 1 +
de.prob.eventb.disprover.core/build.properties | 3 ++-
de.prob.eventb.disprover.core/plugin.properties | 12 ++++++++++++
de.prob.eventb.disprover.core/plugin.xml | 2 +-
4 files changed, 16 insertions(+), 2 deletions(-)
create mode 100644 de.prob.eventb.disprover.core/plugin.properties
diff --git a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
index 53a8d091..24a3895d 100644
--- a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
@@ -11,4 +11,5 @@ Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
org.eclipse.ui;bundle-version="[3.5.0,4.0.0)"
Bundle-RequiredExecutionEnvironment: J2SE-1.5
Bundle-ActivationPolicy: lazy
+Bundle-Localization: plugin
Export-Package: de.prob.eventb.disprover.core
diff --git a/de.prob.eventb.disprover.core/build.properties b/de.prob.eventb.disprover.core/build.properties
index e9863e28..0dc34f78 100644
--- a/de.prob.eventb.disprover.core/build.properties
+++ b/de.prob.eventb.disprover.core/build.properties
@@ -2,4 +2,5 @@ source.. = src/
output.. = bin/
bin.includes = META-INF/,\
.,\
- plugin.xml
+ plugin.xml,\
+ plugin.properties
diff --git a/de.prob.eventb.disprover.core/plugin.properties b/de.prob.eventb.disprover.core/plugin.properties
new file mode 100644
index 00000000..0c0521b6
--- /dev/null
+++ b/de.prob.eventb.disprover.core/plugin.properties
@@ -0,0 +1,12 @@
+###############################################################################
+# Copyright (c) 2013 STUPS, Heinrich-Heine University Dusseldorf
+# All rights reserved. This program and the accompanying materials
+# are made available under the terms of the Eclipse Public License v1.0
+# which accompanies this distribution, and is available at
+# http://www.eclipse.org/legal/epl-v10.html
+###############################################################################
+
+reasoner.name = (Dis)Prover Reasoner
+
+autotactic.name = ProB (Dis)Prover
+autotactic.desc = Auto Tactic calling the ProB (Dis)Prover
diff --git a/de.prob.eventb.disprover.core/plugin.xml b/de.prob.eventb.disprover.core/plugin.xml
index 6b689221..a6445540 100644
--- a/de.prob.eventb.disprover.core/plugin.xml
+++ b/de.prob.eventb.disprover.core/plugin.xml
@@ -6,7 +6,7 @@
<reasoner
class="de.prob.eventb.disprover.core.internal.DisproverReasoner"
id="disproverReasoner"
- name="Disprover Reasoner">
+ name="%reasoner.name">
</reasoner>
</extension>
--
GitLab