externalize strings in disprover.cover

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

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

de.prob.eventb.disprover.core/plugin.properties

+###############################################################################
+# 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

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>