From 168aa22a0c8346a335ee318f76439fbb5305b400 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Tue, 23 Apr 2013 17:04:45 +0200
Subject: [PATCH] renamed some menu entries
---
de.prob.ui/plugin.xml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index 32810043..308df3ea 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -1071,21 +1071,21 @@
<command
commandId="de.prob.ui.deadlock_check"
icon="icons/DeadlockCheck.png"
- label="Deadlock Freedom Checking"
+ label="Deadlock Freedom"
mnemonic="D"
style="push">
</command>
<command
commandId="de.prob.ui.invariant_check"
icon="icons/CBCInvariantCheck.png"
- label="Invariant Preservation Checking"
+ label="Invariant Preservation"
mnemonic="I"
style="push">
</command>
<command
commandId="de.prob.ui.refinement_check"
icon="icons/CBCInvariantCheck.png"
- label="Refinement Checking"
+ label="Refinement Proof Obligations"
mnemonic="R"
style="push">
</command>
--
GitLab