diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml index 1db934d9439a6cfbf4cc4897d800260e73d35181..bf2abf7483b4dcae8b647183045d4ca00b311778 100644 --- a/de.prob.ui/plugin.xml +++ b/de.prob.ui/plugin.xml @@ -295,7 +295,7 @@ </command> <command id="de.prob.ui.show_custom_precondition_dialog" - name="Execute with additional Guard"> + name="Execute with Additional Guard Constraint"> </command> <command categoryId="de.prob.ui.commands.category" @@ -346,7 +346,7 @@ </command> <command id="de.prob.ui.ltl.showcounterexampleinhistory" - name="Show counter-example in history"> + name="Show Counter-example in History"> </command> <command id="de.prob.ui.ltl.counterexamplezoominhandler"