From 8e9ca6c5a2c244e3e31a789f347c2807c2d388bc Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 4 Sep 2020 11:00:13 +0200
Subject: [PATCH] update description

---
 de.prob2.disprover.feature/feature.xml |  6 ++----
 de.prob2.feature/feature.xml           | 12 ++++++++----
 de.prob2.symbolic.feature/feature.xml  |  6 ++----
 de.prob2.units.feature/feature.xml     | 12 ++++++++----
 4 files changed, 20 insertions(+), 16 deletions(-)

diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 9bd1a829..f1143fa1 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -11,11 +11,9 @@ fully automatic animation of many B specifications, and can be
 used to systematically check a specification for errors.
 Part of the research and development was conducted within the
 EPSRC funded projects ABCD and iMoc, and within the EU funded
-project Rodin.
-Development is continued under the EU funded project Deploy and
-the DFG project Gepavas.
+projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
 ProB has been successfully used on various industrial specifications
-and is now being used within Siemens.
+and is now being used within Siemens, Alstom, Thales.
    </description>
 
    <copyright>
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 373bcd99..8bf97665 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -6,10 +6,14 @@
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
-      ProB is an animator and model checker for the B-Method. It allows fully automatic animation of many B specifications, and can be used to systematically check a specification for errors. 
-Part of the research and development was conducted within the EPSRC funded projects ABCD and iMoc, and within the EU funded project Rodin. 
-Development is continued under the EU funded project Deploy and the DFG project Gepavas. 
-ProB has been successfully used on various industrial specifications and is now being used within Siemens.
+      ProB is an animator and model checker for the B-Method. It allows
+fully automatic animation of many B specifications, and can be
+used to systematically check a specification for errors.
+Part of the research and development was conducted within the
+EPSRC funded projects ABCD and iMoc, and within the EU funded
+projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
+ProB has been successfully used on various industrial specifications
+and is now being used within Siemens, Alstom, Thales.
    </description>
 
    <copyright>
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 8143cfdf..4765de44 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -11,11 +11,9 @@ fully automatic animation of many B specifications, and can be
 used to systematically check a specification for errors.
 Part of the research and development was conducted within the
 EPSRC funded projects ABCD and iMoc, and within the EU funded
-project Rodin.
-Development is continued under the EU funded project Deploy and
-the DFG project Gepavas.
+projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
 ProB has been successfully used on various industrial specifications
-and is now being used within Siemens.
+and is now being used within Siemens, Alstom, Thales.
    </description>
 
    <copyright>
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index 73fb1c8e..2930570e 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -6,10 +6,14 @@
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
-      ProB is an animator and model checker for the B-Method. It allows fully automatic animation of many B specifications, and can be used to systematically check a specification for errors.
-Part of the research and development was conducted within the EPSRC funded projects ABCD and iMoc, and within the EU funded project Rodin.
-Development is continued under the EU funded project Deploy and the DFG project Gepavas.
-ProB has been successfully used on various industrial specifications and is now being used within Siemens.
+      ProB is an animator and model checker for the B-Method. It allows
+fully automatic animation of many B specifications, and can be
+used to systematically check a specification for errors.
+Part of the research and development was conducted within the
+EPSRC funded projects ABCD and iMoc, and within the EU funded
+projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
+ProB has been successfully used on various industrial specifications
+and is now being used within Siemens, Alstom, Thales.
    </description>
 
    <copyright>
-- 
GitLab