From 47914c416e508c868e9eb849f171b205c2e32702 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 28 Feb 2024 14:19:24 +0100
Subject: [PATCH] Add more specific descriptions for the individual features

---
 de.prob2.disprover.feature/feature.xml | 4 +++-
 de.prob2.feature/feature.xml           | 4 +++-
 de.prob2.symbolic.feature/feature.xml  | 5 ++++-
 3 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 0f68dfa2..0985ab41 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -7,7 +7,9 @@
       plugin="de.prob.eventb.disprover.ui">
 
    <description url="https://prob.hhu.de/w/">
-      ProB is an animator and model checker for the B-Method. It allows
+Allows using ProB as a (dis)prover while proving POs.
+
+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
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index be05f985..10adbd4b 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -7,7 +7,9 @@
       plugin="de.prob.ui">
 
    <description url="https://prob.hhu.de/w/">
-      ProB is an animator and model checker for the B-Method. It allows
+ProB animator plug-in for Rodin. Also includes BMotion Studio.
+
+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
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index b4894c5b..224b032c 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -7,7 +7,10 @@
       plugin="de.prob.symbolic">
 
    <description url="https://prob.hhu.de/w/">
-      ProB is an animator and model checker for the B-Method. It allows
+Allows marking constants as symbolic so that the ProB animator will not
+evaluate them eagerly.
+
+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
-- 
GitLab