From 478643396afe03f426dece5b62aeef24dcb953fc Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 22 May 2013 12:07:16 +0200
Subject: [PATCH] renamed disprover -> (dis)prover, remove old strings
---
de.prob.eventb.disprover.ui/plugin.properties | 7 +------
de.prob.eventb.disprover.ui/plugin.xml | 2 +-
de.prob2.disprover.feature/feature.xml | 2 +-
3 files changed, 3 insertions(+), 8 deletions(-)
diff --git a/de.prob.eventb.disprover.ui/plugin.properties b/de.prob.eventb.disprover.ui/plugin.properties
index 21533b2d..10c3bee8 100644
--- a/de.prob.eventb.disprover.ui/plugin.properties
+++ b/de.prob.eventb.disprover.ui/plugin.properties
@@ -7,9 +7,4 @@
###############################################################################
tactic.disprover.name = Disprover
-tactic.disprover.tooltip-all = Find counter-examples with ProB
-tactic.disprover.tooltip-config = Find counter-examples with the ProB model checker, after interactive configuration
-tactic.disprover.tooltip-relevant = CAUTION: Find counter-examples with the ProB model checker (Relevant Hypotheses, no Contexts). This may produce invalid counter-examples!
-tactic.disprover.tooltip-relevant-context = Find counter-examples with the ProB model checker (Relevant Hypotheses, all Contexts).
-
-dropdown.name = Disprover
\ No newline at end of file
+tactic.disprover.tooltip = (Dis)Prove with ProB
diff --git a/de.prob.eventb.disprover.ui/plugin.xml b/de.prob.eventb.disprover.ui/plugin.xml
index f8f1ea55..82717ae3 100644
--- a/de.prob.eventb.disprover.ui/plugin.xml
+++ b/de.prob.eventb.disprover.ui/plugin.xml
@@ -23,7 +23,7 @@
tacticProvider="de.prob.eventb.disprover.ui.DisproverTacticProvider"
target="global"
toolbar="org.eventb.ui.sequentToolbar"
- tooltip="%tactic.disprover.tooltip-all"/>
+ tooltip="%tactic.disprover.tooltip"/>
<!-- <tactic
dropdown="de.prob.eventb.disprover.ui.DisproverDropdown"
icon="icons/disprover-config.png"
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index c08e6118..678e343c 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="de.prob2.disprover.feature"
- label="ProB for Rodin2 - EXPERIMENTAL Disprover"
+ label="ProB for Rodin2 - EXPERIMENTAL (Dis)Prover"
version="2.4.0.qualifier"
provider-name="HHU Düsseldorf STUPS Group">
--
GitLab