diff --git a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
index 53a8d091537aa8d49e62da4e1ebe1de81f9e939e..24a3895dacc48d7daf17944b18492769fbf85dc5 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 e9863e281eaccc5123e82ed75713bab3e8b87bbe..0dc34f7833b401735c8b95fd3aeef27c0fc377a6 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 0000000000000000000000000000000000000000..0c0521b6510fd7f26e56bd6b071022e099d984df
--- /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 6b6892218c07b9f5190e2872a2a6738af5d1faa1..a6445540a17811179bb32fce4e74745e2374138c 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>