From 025e77abb60da18753e097bd38c0147f5e605a00 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 17 Jun 2014 13:43:50 +0200
Subject: [PATCH] Update invariant ok message (invariants ok)

Signed-off-by: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
---
 .../src/de/prob/ui/stateview/StateViewStrings.properties    | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties b/de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties
index abb04c4f..9c7ebb74 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties
+++ b/de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties
@@ -1,10 +1,10 @@
-signalInvariantTooltip=This area signals whether the invariant is violated or not
-signalInvariantGood=invariant ok
+signalInvariantTooltip=This area signals whether the invariants are true or not
+signalInvariantGood=invariants ok
 signalInvariantBad=invariant violated!
 
 signalEventerrorTooltip=This area signals if an error occurred in an event
 signalEventerrorGood=no event errors detected
-signalEventerrorBad=event errors detected!
+signalEventerrorBad=event error(s) detected!
 
 signalModelmodifiedTooltip=This area signals whether the model has been changed. Doubleclick to reload it
 signalModelmodifiedBad=The model was modified!
-- 
GitLab