diff --git a/de.prob.eventb.disprover.ui/plugin.properties b/de.prob.eventb.disprover.ui/plugin.properties index 21533b2d86833a035fc05ce2ead502573f8d4f6b..10c3bee80f3314750bc43db72747fa3707f6a3d9 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 f8f1ea5538bd7884557347563d35e32aa79d46a5..82717ae33ff5f39530b623bed28c3b9f4434fe86 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 c08e61189afa37f5afb92bd08f7bbea56c42fb6c..678e343cd90a96a88ab97142f2bfc782e522f81d 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">